Bob is green. Bob is kind. Bob is red. Bob is young. Charlie is big. Charlie is green. Charlie is kind. Kind, young things are smart. Red, green things are furry. If Bob is furry then Bob is kind. All green, big things are kind. If Bob is green and Bob is big then Bob is red. If something is big and green then it is young. Smart, young things are furry. All red, green things are big.
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Kind, young things are smart.
((("something" "is" "kind" "+") ("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
Red, green things are furry.
((("something" "is" "red" "+") ("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
If Bob is furry then Bob is kind.
((("Bob" "is" "furry" "+")) -> ("Bob" "is" "kind" "+"))
All green, big things are kind.
((("something" "is" "green" "+") ("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
If Bob is green and Bob is big then Bob is red.
((("Bob" "is" "green" "+") ("Bob" "is" "big" "+")) -> ("Bob" "is" "red" "+"))
If something is big and green then it is young.
((("something" "is" "big" "+") ("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
Smart, young things are furry.
((("something" "is" "smart" "+") ("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
All red, green things are big.
((("something" "is" "red" "+") ("something" "is" "green" "+")) -> ("something" "is" "big" "+"))
Bob is young.
True
1
proof
[(triple4 OR ((((triple3 triple1) -> rule8) triple1) -> rule6))]
("Bob" "is" "young" "+")
triple4
((((triple3 triple1) -> (rule8 % int2)) triple1) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is not young.
False
1
inv-proof
[(triple4 OR ((((triple3 triple1) -> rule8) triple1) -> rule6))]
("Bob" "is" "young" "-")
triple4
((((triple3 triple1) -> (rule8 % int2)) triple1) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
True
3
proof
[(((triple3 triple1) -> rule2) OR ((((triple2 triple4) -> rule1) triple4) -> rule7) OR ((((triple2 triple4) -> rule1) ((((triple3 triple1) -> rule8) triple1) -> rule6)) -> rule7) OR ((((triple2 ((((triple3 triple1) -> rule8) triple1) -> rule6)) -> rule1) triple4) -> rule7) OR ((((((triple1 ((triple3 triple1) -> rule8)) -> rule4) triple4) -> rule1) triple4) -> rule7) OR ((((triple2 ((((triple3 triple1) -> rule8) triple1) -> rule6)) -> rule1) ((((triple3 triple1) -> rule8) triple1) -> rule6)) -> rule7) OR ((((((triple1 ((triple3 triple1) -> rule8)) -> rule4) triple4) -> rule1) ((((triple3 triple1) -> rule8) triple1) -> rule6)) -> rule7) OR ((((((triple1 ((triple3 triple1) -> rule8)) -> rule4) ((((triple3 triple1) -> rule8) triple1) -> rule6)) -> rule1) triple4) -> rule7) OR ((((((triple1 ((triple3 triple1) -> rule8)) -> rule4) ((((triple3 triple1) -> rule8) triple1) -> rule6)) -> rule1) ((((triple3 triple1) -> rule8) triple1) -> rule6)) -> rule7))]
("Bob" "is" "furry" "+")
((triple3 triple1) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((triple2 triple4) -> (rule1 % int2)) triple4) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple2 triple4) -> (rule1 % int4)) ((((triple3 triple1) -> (rule8 % int3)) triple1) -> (rule6 % int2))) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((triple2 ((((triple3 triple1) -> (rule8 % int4)) triple1) -> (rule6 % int3))) -> (rule1 % int2)) triple4) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((triple1 ((triple3 triple1) -> (rule8 % int4))) -> (rule4 % int3)) triple4) -> (rule1 % int2)) triple4) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((triple2 ((((triple3 triple1) -> (rule8 % int4)) triple1) -> (rule6 % int3))) -> (rule1 % int2)) ((((triple3 triple1) -> (rule8 % int4)) triple1) -> (rule6 % int3))) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((triple1 ((triple3 triple1) -> (rule8 % int5))) -> (rule4 % int4)) triple4) -> (rule1 % int3)) ((((triple3 triple1) -> (rule8 % int5)) triple1) -> (rule6 % int2))) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((((triple1 ((triple3 triple1) -> (rule8 % int5))) -> (rule4 % int4)) ((((triple3 triple1) -> (rule8 % int5)) triple1) -> (rule6 % int3))) -> (rule1 % int2)) triple4) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((((triple1 ((triple3 triple1) -> (rule8 % int5))) -> (rule4 % int4)) ((((triple3 triple1) -> (rule8 % int5)) triple1) -> (rule6 % int3))) -> (rule1 % int2)) ((((triple3 triple1) -> (rule8 % int5)) triple1) -> (rule6 % int3))) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is not smart.
False
3
inv-proof
[(((triple2 triple4) -> rule1) OR ((triple2 ((((triple3 triple1) -> rule8) triple1) -> rule6)) -> rule1) OR ((((((triple3 triple1) -> rule2)) -> rule3) triple4) -> rule1) OR ((((triple1 ((triple3 triple1) -> rule8)) -> rule4) triple4) -> rule1) OR ((((((triple3 triple1) -> rule2)) -> rule3) ((((triple3 triple1) -> rule8) triple1) -> rule6)) -> rule1) OR ((((triple1 ((triple3 triple1) -> rule8)) -> rule4) ((((triple3 triple1) -> rule8) triple1) -> rule6)) -> rule1))]
("Bob" "is" "smart" "-")
((triple2 triple4) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((triple2 ((((triple3 triple1) -> (rule8 % int3)) triple1) -> (rule6 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((triple3 triple1) -> (rule2 % int3))) -> (rule3 % int2)) triple4) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((triple1 ((triple3 triple1) -> (rule8 % int3))) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((triple3 triple1) -> (rule2 % int5))) -> (rule3 % int4)) ((((triple3 triple1) -> (rule8 % int3)) triple1) -> (rule6 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((triple1 ((triple3 triple1) -> (rule8 % int4))) -> (rule4 % int3)) ((((triple3 triple1) -> (rule8 % int4)) triple1) -> (rule6 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Charlie is smart.
True
5
proof
[(((triple7 ((triple5 triple6) -> rule6)) -> rule1) OR ((((triple6 triple5) -> rule4) ((triple5 triple6) -> rule6)) -> rule1))]
("Charlie" "is" "smart" "+")
((triple7 ((triple5 triple6) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple6 triple5) -> (rule4 % int3)) ((triple5 triple6) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is not smart.
False
5
inv-proof
[(((triple7 ((triple5 triple6) -> rule6)) -> rule1) OR ((((triple6 triple5) -> rule4) ((triple5 triple6) -> rule6)) -> rule1))]
("Charlie" "is" "smart" "-")
((triple7 ((triple5 triple6) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple6 triple5) -> (rule4 % int3)) ((triple5 triple6) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
True
9
proof
[(((((triple7 ((triple5 triple6) -> rule6)) -> rule1) ((triple5 triple6) -> rule6)) -> rule7) OR ((((((triple6 triple5) -> rule4) ((triple5 triple6) -> rule6)) -> rule1) ((triple5 triple6) -> rule6)) -> rule7))]
("Charlie" "is" "furry" "+")
((((triple7 ((triple5 triple6) -> (rule6 % int3))) -> (rule1 % int2)) ((triple5 triple6) -> (rule6 % int3))) -> (rule7 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((((triple6 triple5) -> (rule4 % int4)) ((triple5 triple6) -> (rule6 % int3))) -> (rule1 % int2)) ((triple5 triple6) -> (rule6 % int3))) -> (rule7 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is not furry.
False
9
inv-proof
[(((((triple7 ((triple5 triple6) -> rule6)) -> rule1) ((triple5 triple6) -> rule6)) -> rule7) OR ((((((triple6 triple5) -> rule4) ((triple5 triple6) -> rule6)) -> rule1) ((triple5 triple6) -> rule6)) -> rule7))]
("Charlie" "is" "furry" "-")
((((triple7 ((triple5 triple6) -> (rule6 % int3))) -> (rule1 % int2)) ((triple5 triple6) -> (rule6 % int3))) -> (rule7 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((((triple6 triple5) -> (rule4 % int4)) ((triple5 triple6) -> (rule6 % int3))) -> (rule1 % int2)) ((triple5 triple6) -> (rule6 % int3))) -> (rule7 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
@0: Bob is green.[(triple1)] Bob is kind.[(triple2 OR ((((triple3 triple1) -> rule2)) -> rule3) OR ((triple1 ((triple3 triple1) -> rule8)) -> rule4))] Bob is red.[(triple3)] Bob is young.[(triple4 OR ((((triple3 triple1) -> rule8) triple1) -> rule6))] Charlie is big.[(triple5)] Charlie is green.[(triple6)] Charlie is kind.[(triple7 OR ((triple6 triple5) -> rule4))] @1: Bob is big.[(((triple3 triple1) -> rule8))] Bob is furry.[(((triple3 triple1) -> rule2) OR ((((triple2 triple4) -> rule1) triple4) -> rule7) OR ((((triple2 triple4) -> rule1) ((((triple3 triple1) -> rule8) triple1) -> rule6)) -> rule7) OR ((((triple2 ((((triple3 triple1) -> rule8) triple1) -> rule6)) -> rule1) triple4) -> rule7) OR ((((((triple1 ((triple3 triple1) -> rule8)) -> rule4) triple4) -> rule1) triple4) -> rule7) OR ((((triple2 ((((triple3 triple1) -> rule8) triple1) -> rule6)) -> rule1) ((((triple3 triple1) -> rule8) triple1) -> rule6)) -> rule7) OR ((((((triple1 ((triple3 triple1) -> rule8)) -> rule4) triple4) -> rule1) ((((triple3 triple1) -> rule8) triple1) -> rule6)) -> rule7) OR ((((((triple1 ((triple3 triple1) -> rule8)) -> rule4) ((((triple3 triple1) -> rule8) triple1) -> rule6)) -> rule1) triple4) -> rule7) OR ((((((triple1 ((triple3 triple1) -> rule8)) -> rule4) ((((triple3 triple1) -> rule8) triple1) -> rule6)) -> rule1) ((((triple3 triple1) -> rule8) triple1) -> rule6)) -> rule7))] Bob is smart.[(((triple2 triple4) -> rule1) OR ((triple2 ((((triple3 triple1) -> rule8) triple1) -> rule6)) -> rule1) OR ((((((triple3 triple1) -> rule2)) -> rule3) triple4) -> rule1) OR ((((triple1 ((triple3 triple1) -> rule8)) -> rule4) triple4) -> rule1) OR ((((((triple3 triple1) -> rule2)) -> rule3) ((((triple3 triple1) -> rule8) triple1) -> rule6)) -> rule1) OR ((((triple1 ((triple3 triple1) -> rule8)) -> rule4) ((((triple3 triple1) -> rule8) triple1) -> rule6)) -> rule1))] Charlie is young.[(((triple5 triple6) -> rule6))] @2: Charlie is smart.[(((triple7 ((triple5 triple6) -> rule6)) -> rule1) OR ((((triple6 triple5) -> rule4) ((triple5 triple6) -> rule6)) -> rule1))] @3: Charlie is furry.[(((((triple7 ((triple5 triple6) -> rule6)) -> rule1) ((triple5 triple6) -> rule6)) -> rule7) OR ((((((triple6 triple5) -> rule4) ((triple5 triple6) -> rule6)) -> rule1) ((triple5 triple6) -> rule6)) -> rule7))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
((((triple3 triple1) -> (rule2 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((triple1 ((triple3 triple1) -> (rule8 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple4
((((triple3 triple1) -> (rule8 % int2)) triple1) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is kind.
("Charlie" "is" "kind" "+")
triple7
((triple6 triple5) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((triple3 triple1) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
((triple3 triple1) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((triple2 triple4) -> (rule1 % int2)) triple4) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple2 triple4) -> (rule1 % int4)) ((((triple3 triple1) -> (rule8 % int3)) triple1) -> (rule6 % int2))) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((triple2 ((((triple3 triple1) -> (rule8 % int4)) triple1) -> (rule6 % int3))) -> (rule1 % int2)) triple4) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((triple1 ((triple3 triple1) -> (rule8 % int4))) -> (rule4 % int3)) triple4) -> (rule1 % int2)) triple4) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((triple2 ((((triple3 triple1) -> (rule8 % int4)) triple1) -> (rule6 % int3))) -> (rule1 % int2)) ((((triple3 triple1) -> (rule8 % int4)) triple1) -> (rule6 % int3))) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((triple1 ((triple3 triple1) -> (rule8 % int5))) -> (rule4 % int4)) triple4) -> (rule1 % int3)) ((((triple3 triple1) -> (rule8 % int5)) triple1) -> (rule6 % int2))) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((((triple1 ((triple3 triple1) -> (rule8 % int5))) -> (rule4 % int4)) ((((triple3 triple1) -> (rule8 % int5)) triple1) -> (rule6 % int3))) -> (rule1 % int2)) triple4) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((((triple1 ((triple3 triple1) -> (rule8 % int5))) -> (rule4 % int4)) ((((triple3 triple1) -> (rule8 % int5)) triple1) -> (rule6 % int3))) -> (rule1 % int2)) ((((triple3 triple1) -> (rule8 % int5)) triple1) -> (rule6 % int3))) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
((triple2 triple4) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((triple2 ((((triple3 triple1) -> (rule8 % int3)) triple1) -> (rule6 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((triple3 triple1) -> (rule2 % int3))) -> (rule3 % int2)) triple4) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((triple1 ((triple3 triple1) -> (rule8 % int3))) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((triple3 triple1) -> (rule2 % int5))) -> (rule3 % int4)) ((((triple3 triple1) -> (rule8 % int3)) triple1) -> (rule6 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((triple1 ((triple3 triple1) -> (rule8 % int4))) -> (rule4 % int3)) ((((triple3 triple1) -> (rule8 % int4)) triple1) -> (rule6 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
((triple5 triple6) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple7 ((triple5 triple6) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple6 triple5) -> (rule4 % int3)) ((triple5 triple6) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
((((triple7 ((triple5 triple6) -> (rule6 % int3))) -> (rule1 % int2)) ((triple5 triple6) -> (rule6 % int3))) -> (rule7 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((((triple6 triple5) -> (rule4 % int4)) ((triple5 triple6) -> (rule6 % int3))) -> (rule1 % int2)) ((triple5 triple6) -> (rule6 % int3))) -> (rule7 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4