Bob is kind. Bob is quiet. Bob is red. Bob is rough. Bob is smart. Harry is nice. Harry is quiet. If someone is quiet and rough then they are smart. If Bob is kind and Bob is quiet then Bob is nice. Rough people are kind. All quiet people are furry. Nice, smart people are red. All kind people are nice. Nice, furry people are rough. Quiet, kind people are furry.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
If someone is quiet and rough then they are smart.
((("someone" "is" "quiet" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
If Bob is kind and Bob is quiet then Bob is nice.
((("Bob" "is" "kind" "+") ("Bob" "is" "quiet" "+")) -> ("Bob" "is" "nice" "+"))
Rough people are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
All quiet people are furry.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
Nice, smart people are red.
((("someone" "is" "nice" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "red" "+"))
All kind people are nice.
((("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
Nice, furry people are rough.
((("someone" "is" "nice" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "+"))
Quiet, kind people are furry.
((("someone" "is" "quiet" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
Bob is kind.
True
1
proof
[(triple1 OR ((triple4) -> rule3))]
("Bob" "is" "kind" "+")
triple1
((triple4) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is not quiet.
False
1
inv-proof
[(triple2)]
("Bob" "is" "quiet" "-")
triple2
Bob is furry.
True
2
proof
[(((triple2) -> rule4) OR ((triple2 triple1) -> rule8) OR ((triple2 ((triple4) -> rule3)) -> rule8))]
("Bob" "is" "furry" "+")
((triple2) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple2 triple1) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple2 ((triple4) -> (rule3 % int2))) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is not furry.
False
2
inv-proof
[(((triple2) -> rule4) OR ((triple2 triple1) -> rule8) OR ((triple2 ((triple4) -> rule3)) -> rule8))]
("Bob" "is" "furry" "-")
((triple2) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple2 triple1) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple2 ((triple4) -> (rule3 % int2))) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Harry is rough.
True
4
proof
[(((triple6 ((triple7) -> rule4)) -> rule7))]
("Harry" "is" "rough" "+")
((triple6 ((triple7) -> (rule4 % int2))) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is not rough.
False
4
inv-proof
[(((triple6 ((triple7) -> rule4)) -> rule7))]
("Harry" "is" "rough" "-")
((triple6 ((triple7) -> (rule4 % int2))) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is smart.
True
6
proof
[(((triple7 ((triple6 ((triple7) -> rule4)) -> rule7)) -> rule1))]
("Harry" "is" "smart" "+")
((triple7 ((triple6 ((triple7) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is not smart.
False
6
inv-proof
[(((triple7 ((triple6 ((triple7) -> rule4)) -> rule7)) -> rule1))]
("Harry" "is" "smart" "-")
((triple7 ((triple6 ((triple7) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
@0: Bob is kind.[(triple1 OR ((triple4) -> rule3))] Bob is quiet.[(triple2)] Bob is red.[(triple3 OR ((((triple1) -> rule6) triple5) -> rule5) OR ((((triple1 triple2) -> rule2) triple5) -> rule5) OR ((((triple1) -> rule6) ((triple2 triple4) -> rule1)) -> rule5) OR ((((triple1 triple2) -> rule2) ((triple2 triple4) -> rule1)) -> rule5) OR ((((((triple4) -> rule3)) -> rule6) triple5) -> rule5) OR ((((((triple4) -> rule3) triple2) -> rule2) triple5) -> rule5) OR ((((((triple4) -> rule3)) -> rule6) ((triple2 triple4) -> rule1)) -> rule5) OR ((((((triple4) -> rule3) triple2) -> rule2) ((triple2 triple4) -> rule1)) -> rule5) OR ((((triple1) -> rule6) ((triple2 ((((triple1) -> rule6) ((triple2) -> rule4)) -> rule7)) -> rule1)) -> rule5) OR ((((triple1) -> rule6) ((triple2 ((((triple1) -> rule6) ((triple2 triple1) -> rule8)) -> rule7)) -> rule1)) -> rule5) OR ((((triple1) -> rule6) ((triple2 ((((triple1 triple2) -> rule2) ((triple2) -> rule4)) -> rule7)) -> rule1)) -> rule5) OR ((((triple1) -> rule6) ((triple2 ((((triple1 triple2) -> rule2) ((triple2 triple1) -> rule8)) -> rule7)) -> rule1)) -> rule5) OR ((((triple1 triple2) -> rule2) ((triple2 ((((triple1) -> rule6) ((triple2) -> rule4)) -> rule7)) -> rule1)) -> rule5) OR ((((triple1 triple2) -> rule2) ((triple2 ((((triple1) -> rule6) ((triple2 triple1) -> rule8)) -> rule7)) -> rule1)) -> rule5) OR ((((triple1 triple2) -> rule2) ((triple2 ((((triple1 triple2) -> rule2) ((triple2) -> rule4)) -> rule7)) -> rule1)) -> rule5) OR ((((triple1 triple2) -> rule2) ((triple2 ((((triple1 triple2) -> rule2) ((triple2 triple1) -> rule8)) -> rule7)) -> rule1)) -> rule5) OR ((((((triple4) -> rule3)) -> rule6) ((triple2 ((((triple1) -> rule6) ((triple2) -> rule4)) -> rule7)) -> rule1)) -> rule5) OR ((((((triple4) -> rule3)) -> rule6) ((triple2 ((((triple1) -> rule6) ((triple2 triple1) -> rule8)) -> rule7)) -> rule1)) -> rule5) OR ((((((triple4) -> rule3)) -> rule6) ((triple2 ((((triple1 triple2) -> rule2) ((triple2) -> rule4)) -> rule7)) -> rule1)) -> rule5) OR ((((((triple4) -> rule3)) -> rule6) ((triple2 ((((triple1 triple2) -> rule2) ((triple2 triple1) -> rule8)) -> rule7)) -> rule1)) -> rule5) OR ((((((triple4) -> rule3) triple2) -> rule2) ((triple2 ((((triple1) -> rule6) ((triple2) -> rule4)) -> rule7)) -> rule1)) -> rule5) OR ((((((triple4) -> rule3) triple2) -> rule2) ((triple2 ((((triple1) -> rule6) ((triple2 triple1) -> rule8)) -> rule7)) -> rule1)) -> rule5) OR ((((((triple4) -> rule3) triple2) -> rule2) ((triple2 ((((triple1 triple2) -> rule2) ((triple2) -> rule4)) -> rule7)) -> rule1)) -> rule5) OR ((((((triple4) -> rule3) triple2) -> rule2) ((triple2 ((((triple1 triple2) -> rule2) ((triple2 triple1) -> rule8)) -> rule7)) -> rule1)) -> rule5))] Bob is rough.[(triple4 OR ((((triple1) -> rule6) ((triple2) -> rule4)) -> rule7) OR ((((triple1) -> rule6) ((triple2 triple1) -> rule8)) -> rule7) OR ((((triple1 triple2) -> rule2) ((triple2) -> rule4)) -> rule7) OR ((((triple1 triple2) -> rule2) ((triple2 triple1) -> rule8)) -> rule7))] Bob is smart.[(triple5 OR ((triple2 triple4) -> rule1) OR ((triple2 ((((triple1) -> rule6) ((triple2) -> rule4)) -> rule7)) -> rule1) OR ((triple2 ((((triple1) -> rule6) ((triple2 triple1) -> rule8)) -> rule7)) -> rule1) OR ((triple2 ((((triple1 triple2) -> rule2) ((triple2) -> rule4)) -> rule7)) -> rule1) OR ((triple2 ((((triple1 triple2) -> rule2) ((triple2 triple1) -> rule8)) -> rule7)) -> rule1))] Harry is nice.[(triple6)] Harry is quiet.[(triple7)] @1: Bob is furry.[(((triple2) -> rule4) OR ((triple2 triple1) -> rule8) OR ((triple2 ((triple4) -> rule3)) -> rule8))] Bob is nice.[(((triple1) -> rule6) OR ((triple1 triple2) -> rule2) OR ((((triple4) -> rule3)) -> rule6) OR ((((triple4) -> rule3) triple2) -> rule2))] Harry is furry.[(((triple7) -> rule4))] @2: Harry is rough.[(((triple6 ((triple7) -> rule4)) -> rule7))] @3: Harry is kind.[(((((triple6 ((triple7) -> rule4)) -> rule7)) -> rule3))] Harry is smart.[(((triple7 ((triple6 ((triple7) -> rule4)) -> rule7)) -> rule1))] @4: Harry is red.[(((triple6 ((triple7 ((triple6 ((triple7) -> rule4)) -> rule7)) -> rule1)) -> rule5))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
((triple4) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple3
((((triple1) -> (rule6 % int2)) triple5) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple1 triple2) -> (rule2 % int2)) triple5) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple1) -> (rule6 % int3)) ((triple2 triple4) -> (rule1 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple1 triple2) -> (rule2 % int3)) ((triple2 triple4) -> (rule1 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((((triple4) -> (rule3 % int3))) -> (rule6 % int2)) triple5) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple4) -> (rule3 % int3)) triple2) -> (rule2 % int2)) triple5) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple4) -> (rule3 % int4))) -> (rule6 % int3)) ((triple2 triple4) -> (rule1 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple4) -> (rule3 % int4)) triple2) -> (rule2 % int3)) ((triple2 triple4) -> (rule1 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple1) -> (rule6 % int5)) ((triple2 ((((triple1) -> (rule6 % int5)) ((triple2) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple1) -> (rule6 % int5)) ((triple2 ((((triple1) -> (rule6 % int5)) ((triple2 triple1) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple1) -> (rule6 % int5)) ((triple2 ((((triple1 triple2) -> (rule2 % int5)) ((triple2) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple1) -> (rule6 % int5)) ((triple2 ((((triple1 triple2) -> (rule2 % int5)) ((triple2 triple1) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple1 triple2) -> (rule2 % int5)) ((triple2 ((((triple1) -> (rule6 % int5)) ((triple2) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple1 triple2) -> (rule2 % int5)) ((triple2 ((((triple1) -> (rule6 % int5)) ((triple2 triple1) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple1 triple2) -> (rule2 % int5)) ((triple2 ((((triple1 triple2) -> (rule2 % int5)) ((triple2) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple1 triple2) -> (rule2 % int5)) ((triple2 ((((triple1 triple2) -> (rule2 % int5)) ((triple2 triple1) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((triple4) -> (rule3 % int6))) -> (rule6 % int5)) ((triple2 ((((triple1) -> (rule6 % int5)) ((triple2) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((((triple4) -> (rule3 % int6))) -> (rule6 % int5)) ((triple2 ((((triple1) -> (rule6 % int5)) ((triple2 triple1) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((((triple4) -> (rule3 % int6))) -> (rule6 % int5)) ((triple2 ((((triple1 triple2) -> (rule2 % int5)) ((triple2) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((((triple4) -> (rule3 % int6))) -> (rule6 % int5)) ((triple2 ((((triple1 triple2) -> (rule2 % int5)) ((triple2 triple1) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((((triple4) -> (rule3 % int6)) triple2) -> (rule2 % int5)) ((triple2 ((((triple1) -> (rule6 % int5)) ((triple2) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((((triple4) -> (rule3 % int6)) triple2) -> (rule2 % int5)) ((triple2 ((((triple1) -> (rule6 % int5)) ((triple2 triple1) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((((triple4) -> (rule3 % int6)) triple2) -> (rule2 % int5)) ((triple2 ((((triple1 triple2) -> (rule2 % int5)) ((triple2) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((((triple4) -> (rule3 % int6)) triple2) -> (rule2 % int5)) ((triple2 ((((triple1 triple2) -> (rule2 % int5)) ((triple2 triple1) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
Bob is rough.
("Bob" "is" "rough" "+")
triple4
((((triple1) -> (rule6 % int3)) ((triple2) -> (rule4 % int2))) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple1) -> (rule6 % int3)) ((triple2 triple1) -> (rule8 % int2))) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple1 triple2) -> (rule2 % int3)) ((triple2) -> (rule4 % int2))) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple1 triple2) -> (rule2 % int3)) ((triple2 triple1) -> (rule8 % int2))) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
triple5
((triple2 triple4) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((triple2 ((((triple1) -> (rule6 % int4)) ((triple2) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((triple2 ((((triple1) -> (rule6 % int4)) ((triple2 triple1) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((triple2 ((((triple1 triple2) -> (rule2 % int4)) ((triple2) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((triple2 ((((triple1 triple2) -> (rule2 % int4)) ((triple2 triple1) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
triple6
Harry is quiet.
("Harry" "is" "quiet" "+")
triple7
Bob is furry.
("Bob" "is" "furry" "+")
((triple2) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple2 triple1) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple2 ((triple4) -> (rule3 % int2))) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((triple1) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple1 triple2) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((((triple4) -> (rule3 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple4) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
((triple7) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple6 ((triple7) -> (rule4 % int2))) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((((triple6 ((triple7) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
((triple7 ((triple6 ((triple7) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
((triple6 ((triple7 ((triple6 ((triple7) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4