Bob is big. Bob is furry. Bob is kind. Bob is smart. Charlie is big. Charlie is kind. Gary is big. Gary is furry. Gary is red. Gary is rough. Harry is furry. Harry is red. If someone is big and red then they are kind. If someone is kind and furry then they are smart. Big people are red. All rough people are big. If Gary is smart then Gary is kind. If Charlie is blue and Charlie is big then Charlie is smart. If someone is blue then they are furry. All kind, smart people are rough.
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is big and red then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and furry then they are smart.
((("someone" "is" "kind" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
Big people are red.
((("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
All rough people are big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If Gary is smart then Gary is kind.
((("Gary" "is" "smart" "+")) -> ("Gary" "is" "kind" "+"))
If Charlie is blue and Charlie is big then Charlie is smart.
((("Charlie" "is" "blue" "+") ("Charlie" "is" "big" "+")) -> ("Charlie" "is" "smart" "+"))
If someone is blue then they are furry.
((("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
All kind, smart people are rough.
((("someone" "is" "kind" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "rough" "+"))
Gary is red.
True
1
proof
[(triple9 OR ((triple7) -> rule3) OR ((((triple10) -> rule4)) -> rule3))]
("Gary" "is" "red" "+")
triple9
((triple7) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((((triple10) -> (rule4 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Charlie is not big.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "big" "-")
triple5
Gary is kind.
True
3
proof
[(((triple7 triple9) -> rule1) OR ((triple7 ((triple7) -> rule3)) -> rule1) OR ((((triple10) -> rule4) triple9) -> rule1) OR ((((triple10) -> rule4) ((triple7) -> rule3)) -> rule1) OR ((triple7 ((((triple10) -> rule4)) -> rule3)) -> rule1) OR ((((triple10) -> rule4) ((((triple10) -> rule4)) -> rule3)) -> rule1))]
("Gary" "is" "kind" "+")
((triple7 triple9) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((triple7 ((triple7) -> (rule3 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((triple10) -> (rule4 % int2)) triple9) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple10) -> (rule4 % int3)) ((triple7) -> (rule3 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((triple7 ((((triple10) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((triple10) -> (rule4 % int3)) ((((triple10) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Bob is not rough.
False
3
inv-proof
[(((triple3 triple4) -> rule8) OR ((triple3 ((triple3 triple2) -> rule2)) -> rule8) OR ((((triple1 ((triple1) -> rule3)) -> rule1) triple4) -> rule8) OR ((((triple1 ((triple1) -> rule3)) -> rule1) ((triple3 triple2) -> rule2)) -> rule8) OR ((triple3 ((((triple1 ((triple1) -> rule3)) -> rule1) triple2) -> rule2)) -> rule8) OR ((((triple1 ((triple1) -> rule3)) -> rule1) ((((triple1 ((triple1) -> rule3)) -> rule1) triple2) -> rule2)) -> rule8))]
("Bob" "is" "rough" "-")
((triple3 triple4) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((triple3 ((triple3 triple2) -> (rule2 % int2))) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple1 ((triple1) -> (rule3 % int3))) -> (rule1 % int2)) triple4) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple1 ((triple1) -> (rule3 % int4))) -> (rule1 % int3)) ((triple3 triple2) -> (rule2 % int2))) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((triple3 ((((triple1 ((triple1) -> (rule3 % int4))) -> (rule1 % int3)) triple2) -> (rule2 % int2))) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((triple1 ((triple1) -> (rule3 % int4))) -> (rule1 % int3)) ((((triple1 ((triple1) -> (rule3 % int4))) -> (rule1 % int3)) triple2) -> (rule2 % int2))) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Gary is smart.
True
5
proof
[(((((triple7 triple9) -> rule1) triple8) -> rule2) OR ((((triple7 ((triple7) -> rule3)) -> rule1) triple8) -> rule2) OR ((((((triple10) -> rule4) triple9) -> rule1) triple8) -> rule2) OR ((((((triple10) -> rule4) ((triple7) -> rule3)) -> rule1) triple8) -> rule2) OR ((((triple7 ((((triple10) -> rule4)) -> rule3)) -> rule1) triple8) -> rule2) OR ((((((triple10) -> rule4) ((((triple10) -> rule4)) -> rule3)) -> rule1) triple8) -> rule2))]
("Gary" "is" "smart" "+")
((((triple7 triple9) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((triple7 ((triple7) -> (rule3 % int3))) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((triple10) -> (rule4 % int3)) triple9) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((((triple10) -> (rule4 % int4)) ((triple7) -> (rule3 % int3))) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((triple7 ((((triple10) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple10) -> (rule4 % int4)) ((((triple10) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is not smart.
False
5
inv-proof
[(((((triple7 triple9) -> rule1) triple8) -> rule2) OR ((((triple7 ((triple7) -> rule3)) -> rule1) triple8) -> rule2) OR ((((((triple10) -> rule4) triple9) -> rule1) triple8) -> rule2) OR ((((((triple10) -> rule4) ((triple7) -> rule3)) -> rule1) triple8) -> rule2) OR ((((triple7 ((((triple10) -> rule4)) -> rule3)) -> rule1) triple8) -> rule2) OR ((((((triple10) -> rule4) ((((triple10) -> rule4)) -> rule3)) -> rule1) triple8) -> rule2))]
("Gary" "is" "smart" "-")
((((triple7 triple9) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((triple7 ((triple7) -> (rule3 % int3))) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((triple10) -> (rule4 % int3)) triple9) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((((triple10) -> (rule4 % int4)) ((triple7) -> (rule3 % int3))) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((triple7 ((((triple10) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple10) -> (rule4 % int4)) ((((triple10) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Harry is not smart.
Unknown
inv-rconc
[@4: Harry is smart.[CWA. Example of deepest failure = (rule2 <- rule1 <- rule4 <- rule8 <- FAIL)]]
("Harry" "is" "smart" "-")
Harry is rough.
Unknown
rconc
[@3: Harry is rough.[CWA. Example of deepest failure = (rule8 <- rule1 <- rule4 <- FAIL)]]
("Harry" "is" "rough" "+")
Harry is not big.
Unknown
inv-rconc
[@3: Harry is big.[CWA. Example of deepest failure = (rule4 <- rule8 <- rule1 <- FAIL)]]
("Harry" "is" "big" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Bob is big.[(triple1 OR ((((triple3 triple4) -> rule8)) -> rule4) OR ((((triple3 ((triple3 triple2) -> rule2)) -> rule8)) -> rule4))] Bob is furry.[(triple2)] Bob is kind.[(triple3 OR ((triple1 ((triple1) -> rule3)) -> rule1))] Bob is smart.[(triple4 OR ((triple3 triple2) -> rule2) OR ((((triple1 ((triple1) -> rule3)) -> rule1) triple2) -> rule2))] Charlie is big.[(triple5)] Charlie is kind.[(triple6 OR ((triple5 ((triple5) -> rule3)) -> rule1))] Gary is big.[(triple7 OR ((triple10) -> rule4))] Gary is furry.[(triple8)] Gary is red.[(triple9 OR ((triple7) -> rule3) OR ((((triple10) -> rule4)) -> rule3))] Gary is rough.[(triple10 OR ((((triple7 triple9) -> rule1) ((((triple7 triple9) -> rule1) triple8) -> rule2)) -> rule8) OR ((((triple7 ((triple7) -> rule3)) -> rule1) ((((triple7 triple9) -> rule1) triple8) -> rule2)) -> rule8) OR ((((triple7 triple9) -> rule1) ((((triple7 ((triple7) -> rule3)) -> rule1) triple8) -> rule2)) -> rule8) OR ((((triple7 ((triple7) -> rule3)) -> rule1) ((((triple7 ((triple7) -> rule3)) -> rule1) triple8) -> rule2)) -> rule8))] Harry is furry.[(triple11)] Harry is red.[(triple12)] @1: Bob is red.[(((triple1) -> rule3) OR ((((((triple3 triple4) -> rule8)) -> rule4)) -> rule3) OR ((((((triple3 ((triple3 triple2) -> rule2)) -> rule8)) -> rule4)) -> rule3))] Bob is rough.[(((triple3 triple4) -> rule8) OR ((triple3 ((triple3 triple2) -> rule2)) -> rule8) OR ((((triple1 ((triple1) -> rule3)) -> rule1) triple4) -> rule8) OR ((((triple1 ((triple1) -> rule3)) -> rule1) ((triple3 triple2) -> rule2)) -> rule8) OR ((triple3 ((((triple1 ((triple1) -> rule3)) -> rule1) triple2) -> rule2)) -> rule8) OR ((((triple1 ((triple1) -> rule3)) -> rule1) ((((triple1 ((triple1) -> rule3)) -> rule1) triple2) -> rule2)) -> rule8))] Charlie is red.[(((triple5) -> rule3))] Gary is kind.[(((triple7 triple9) -> rule1) OR ((triple7 ((triple7) -> rule3)) -> rule1) OR ((((triple10) -> rule4) triple9) -> rule1) OR ((((triple10) -> rule4) ((triple7) -> rule3)) -> rule1) OR ((triple7 ((((triple10) -> rule4)) -> rule3)) -> rule1) OR ((((triple10) -> rule4) ((((triple10) -> rule4)) -> rule3)) -> rule1))] @2: Gary is smart.[(((((triple7 triple9) -> rule1) triple8) -> rule2) OR ((((triple7 ((triple7) -> rule3)) -> rule1) triple8) -> rule2) OR ((((((triple10) -> rule4) triple9) -> rule1) triple8) -> rule2) OR ((((((triple10) -> rule4) ((triple7) -> rule3)) -> rule1) triple8) -> rule2) OR ((((triple7 ((((triple10) -> rule4)) -> rule3)) -> rule1) triple8) -> rule2) OR ((((((triple10) -> rule4) ((((triple10) -> rule4)) -> rule3)) -> rule1) triple8) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((((triple3 triple4) -> (rule8 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((triple3 ((triple3 triple2) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
((triple1 ((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
triple4
((triple3 triple2) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((((triple1 ((triple1) -> (rule3 % int3))) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
((triple5 ((triple5) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
triple7
((triple10) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple9
((triple7) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((((triple10) -> (rule4 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
triple10
((((triple7 triple9) -> (rule1 % int3)) ((((triple7 triple9) -> (rule1 % int3)) triple8) -> (rule2 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((((triple7 ((triple7) -> (rule3 % int4))) -> (rule1 % int3)) ((((triple7 triple9) -> (rule1 % int3)) triple8) -> (rule2 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((triple7 triple9) -> (rule1 % int4)) ((((triple7 ((triple7) -> (rule3 % int3))) -> (rule1 % int4)) triple8) -> (rule2 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((triple7 ((triple7) -> (rule3 % int4))) -> (rule1 % int3)) ((((triple7 ((triple7) -> (rule3 % int4))) -> (rule1 % int3)) triple8) -> (rule2 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple12
Bob is red.
("Bob" "is" "red" "+")
((triple1) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((((((triple3 triple4) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((((triple3 ((triple3 triple2) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
((triple3 triple4) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((triple3 ((triple3 triple2) -> (rule2 % int2))) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple1 ((triple1) -> (rule3 % int3))) -> (rule1 % int2)) triple4) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple1 ((triple1) -> (rule3 % int4))) -> (rule1 % int3)) ((triple3 triple2) -> (rule2 % int2))) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((triple3 ((((triple1 ((triple1) -> (rule3 % int4))) -> (rule1 % int3)) triple2) -> (rule2 % int2))) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((triple1 ((triple1) -> (rule3 % int4))) -> (rule1 % int3)) ((((triple1 ((triple1) -> (rule3 % int4))) -> (rule1 % int3)) triple2) -> (rule2 % int2))) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
((triple5) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple7 triple9) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((triple7 ((triple7) -> (rule3 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((triple10) -> (rule4 % int2)) triple9) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple10) -> (rule4 % int3)) ((triple7) -> (rule3 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((triple7 ((((triple10) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((triple10) -> (rule4 % int3)) ((((triple10) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
((((triple7 triple9) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((triple7 ((triple7) -> (rule3 % int3))) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((triple10) -> (rule4 % int3)) triple9) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((((triple10) -> (rule4 % int4)) ((triple7) -> (rule3 % int3))) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((triple7 ((((triple10) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple10) -> (rule4 % int4)) ((((triple10) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4