Anne is cold. Anne is white. Bob is big. Bob is cold. Bob is nice. Bob is round. Bob is white. Charlie is cold. Charlie is nice. Charlie is round. Charlie is smart. Gary is kind. Gary is nice. Gary is round. Gary is smart. Gary is white. If someone is nice and round then they are big. All smart people are round. All kind, round people are smart. Nice, white people are round. All cold people are big. If Charlie is nice and Charlie is white then Charlie is big. White, kind people are nice. If someone is smart and round then they are white. Cold, big people are kind.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
If someone is nice and round then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
All smart people are round.
((("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
All kind, round people are smart.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "smart" "+"))
Nice, white people are round.
((("someone" "is" "nice" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
All cold people are big.
((("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If Charlie is nice and Charlie is white then Charlie is big.
((("Charlie" "is" "nice" "+") ("Charlie" "is" "white" "+")) -> ("Charlie" "is" "big" "+"))
White, kind people are nice.
((("someone" "is" "white" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is smart and round then they are white.
((("someone" "is" "smart" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
Cold, big people are kind.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Bob is white.
True
1
proof
[(triple7 OR ((((((triple4 triple3) -> rule9) triple6) -> rule3) triple6) -> rule8) OR ((((((triple4 ((triple4) -> rule5)) -> rule9) triple6) -> rule3) triple6) -> rule8) OR ((((((triple4 ((triple5 triple6) -> rule1)) -> rule9) triple6) -> rule3) triple6) -> rule8))]
("Bob" "is" "white" "+")
triple7
((((((triple4 triple3) -> (rule9 % int3)) triple6) -> (rule3 % int2)) triple6) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple4 ((triple4) -> (rule5 % int4))) -> (rule9 % int3)) triple6) -> (rule3 % int2)) triple6) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((triple4 ((triple5 triple6) -> (rule1 % int4))) -> (rule9 % int3)) triple6) -> (rule3 % int2)) triple6) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Charlie is not cold.
False
1
inv-proof
[(triple8)]
("Charlie" "is" "cold" "-")
triple8
Charlie is big.
True
2
proof
[(((triple8) -> rule5) OR ((triple9 triple10) -> rule1) OR ((triple9 ((triple11) -> rule2)) -> rule1) OR ((triple9 ((triple11 triple10) -> rule8)) -> rule6) OR ((triple9 ((triple11 ((triple11) -> rule2)) -> rule8)) -> rule6))]
("Charlie" "is" "big" "+")
((triple8) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple9 triple10) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple9 ((triple11) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((triple9 ((triple11 triple10) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((triple9 ((triple11 ((triple11) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Anne is not big.
False
2
inv-proof
[(((triple1) -> rule5))]
("Anne" "is" "big" "-")
((triple1) -> (rule5 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Charlie is kind.
True
4
proof
[(((triple8 ((triple8) -> rule5)) -> rule9) OR ((triple8 ((triple9 triple10) -> rule1)) -> rule9) OR ((triple8 ((triple9 ((triple11) -> rule2)) -> rule1)) -> rule9) OR ((triple8 ((triple9 ((triple11 triple10) -> rule8)) -> rule6)) -> rule9) OR ((triple8 ((triple9 ((triple11 ((triple11) -> rule2)) -> rule8)) -> rule6)) -> rule9))]
("Charlie" "is" "kind" "+")
((triple8 ((triple8) -> (rule5 % int2))) -> (rule9 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((triple8 ((triple9 triple10) -> (rule1 % int2))) -> (rule9 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((triple8 ((triple9 ((triple11) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((triple8 ((triple9 ((triple11 triple10) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((triple8 ((triple9 ((triple11 ((triple11) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is not kind.
False
4
inv-proof
[(((triple8 ((triple8) -> rule5)) -> rule9) OR ((triple8 ((triple9 triple10) -> rule1)) -> rule9) OR ((triple8 ((triple9 ((triple11) -> rule2)) -> rule1)) -> rule9) OR ((triple8 ((triple9 ((triple11 triple10) -> rule8)) -> rule6)) -> rule9) OR ((triple8 ((triple9 ((triple11 ((triple11) -> rule2)) -> rule8)) -> rule6)) -> rule9))]
("Charlie" "is" "kind" "-")
((triple8 ((triple8) -> (rule5 % int2))) -> (rule9 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((triple8 ((triple9 triple10) -> (rule1 % int2))) -> (rule9 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((triple8 ((triple9 ((triple11) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((triple8 ((triple9 ((triple11 triple10) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((triple8 ((triple9 ((triple11 ((triple11) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Anne is nice.
True
6
proof
[(((triple2 ((triple1 ((triple1) -> rule5)) -> rule9)) -> rule7))]
("Anne" "is" "nice" "+")
((triple2 ((triple1 ((triple1) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is not nice.
False
6
inv-proof
[(((triple2 ((triple1 ((triple1) -> rule5)) -> rule9)) -> rule7))]
("Anne" "is" "nice" "-")
((triple2 ((triple1 ((triple1) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is round.
True
8
proof
[(((((triple2 ((triple1 ((triple1) -> rule5)) -> rule9)) -> rule7) triple2) -> rule4))]
("Anne" "is" "round" "+")
((((triple2 ((triple1 ((triple1) -> (rule5 % int4))) -> (rule9 % int3))) -> (rule7 % int2)) triple2) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is not round.
False
8
inv-proof
[(((((triple2 ((triple1 ((triple1) -> rule5)) -> rule9)) -> rule7) triple2) -> rule4))]
("Anne" "is" "round" "-")
((((triple2 ((triple1 ((triple1) -> (rule5 % int4))) -> (rule9 % int3))) -> (rule7 % int2)) triple2) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is smart.
True
13
proof
[(((((triple1 ((triple1) -> rule5)) -> rule9) ((((triple2 ((triple1 ((triple1) -> rule5)) -> rule9)) -> rule7) triple2) -> rule4)) -> rule3))]
("Anne" "is" "smart" "+")
((((triple1 ((triple1) -> (rule5 % int5))) -> (rule9 % int4)) ((((triple2 ((triple1 ((triple1) -> (rule5 % int5))) -> (rule9 % int4))) -> (rule7 % int3)) triple2) -> (rule4 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is not smart.
False
13
inv-proof
[(((((triple1 ((triple1) -> rule5)) -> rule9) ((((triple2 ((triple1 ((triple1) -> rule5)) -> rule9)) -> rule7) triple2) -> rule4)) -> rule3))]
("Anne" "is" "smart" "-")
((((triple1 ((triple1) -> (rule5 % int5))) -> (rule9 % int4)) ((((triple2 ((triple1 ((triple1) -> (rule5 % int5))) -> (rule9 % int4))) -> (rule7 % int3)) triple2) -> (rule4 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
@0: Anne is cold.[(triple1)] Anne is white.[(triple2)] Bob is big.[(triple3 OR ((triple4) -> rule5) OR ((triple5 triple6) -> rule1) OR ((triple5 ((triple5 triple7) -> rule4)) -> rule1))] Bob is cold.[(triple4)] Bob is nice.[(triple5 OR ((triple7 ((triple4 triple3) -> rule9)) -> rule7) OR ((triple7 ((triple4 ((triple4) -> rule5)) -> rule9)) -> rule7) OR ((((((((triple4 triple3) -> rule9) triple6) -> rule3) triple6) -> rule8) ((triple4 triple3) -> rule9)) -> rule7) OR ((((((((triple4 triple3) -> rule9) triple6) -> rule3) triple6) -> rule8) ((triple4 ((triple4) -> rule5)) -> rule9)) -> rule7) OR ((((((((triple4 ((triple4) -> rule5)) -> rule9) triple6) -> rule3) triple6) -> rule8) ((triple4 triple3) -> rule9)) -> rule7) OR ((((((((triple4 ((triple4) -> rule5)) -> rule9) triple6) -> rule3) triple6) -> rule8) ((triple4 ((triple4) -> rule5)) -> rule9)) -> rule7))] Bob is round.[(triple6 OR ((triple5 triple7) -> rule4) OR ((((triple7 ((triple4 triple3) -> rule9)) -> rule7) triple7) -> rule4) OR ((((triple7 ((triple4 ((triple4) -> rule5)) -> rule9)) -> rule7) triple7) -> rule4))] Bob is white.[(triple7 OR ((((((triple4 triple3) -> rule9) triple6) -> rule3) triple6) -> rule8) OR ((((((triple4 ((triple4) -> rule5)) -> rule9) triple6) -> rule3) triple6) -> rule8) OR ((((((triple4 ((triple5 triple6) -> rule1)) -> rule9) triple6) -> rule3) triple6) -> rule8))] Charlie is cold.[(triple8)] Charlie is nice.[(triple9 OR ((((triple11 triple10) -> rule8) ((triple8 ((triple8) -> rule5)) -> rule9)) -> rule7) OR ((((triple11 ((triple11) -> rule2)) -> rule8) ((triple8 ((triple8) -> rule5)) -> rule9)) -> rule7) OR ((((((((triple8 ((triple8) -> rule5)) -> rule9) triple10) -> rule3) triple10) -> rule8) ((triple8 ((triple8) -> rule5)) -> rule9)) -> rule7) OR ((((((((triple8 ((triple8) -> rule5)) -> rule9) triple10) -> rule3) ((triple11) -> rule2)) -> rule8) ((triple8 ((triple8) -> rule5)) -> rule9)) -> rule7))] Charlie is round.[(triple10 OR ((triple11) -> rule2))] Charlie is smart.[(triple11 OR ((((triple8 ((triple8) -> rule5)) -> rule9) triple10) -> rule3) OR ((((triple8 ((triple9 triple10) -> rule1)) -> rule9) triple10) -> rule3))] Gary is kind.[(triple12)] Gary is nice.[(triple13 OR ((triple16 triple12) -> rule7) OR ((((triple15 triple14) -> rule8) triple12) -> rule7) OR ((((triple15 ((triple15) -> rule2)) -> rule8) triple12) -> rule7) OR ((((((triple12 triple14) -> rule3) triple14) -> rule8) triple12) -> rule7) OR ((((((triple12 triple14) -> rule3) ((triple15) -> rule2)) -> rule8) triple12) -> rule7))] Gary is round.[(triple14 OR ((triple15) -> rule2) OR ((triple13 triple16) -> rule4) OR ((((triple16 triple12) -> rule7) triple16) -> rule4))] Gary is smart.[(triple15 OR ((triple12 triple14) -> rule3) OR ((triple12 ((triple13 triple16) -> rule4)) -> rule3) OR ((triple12 ((((triple16 triple12) -> rule7) triple16) -> rule4)) -> rule3))] Gary is white.[(triple16 OR ((triple15 triple14) -> rule8) OR ((triple15 ((triple15) -> rule2)) -> rule8) OR ((((triple12 triple14) -> rule3) triple14) -> rule8) OR ((((triple12 triple14) -> rule3) ((triple15) -> rule2)) -> rule8))] @1: Anne is big.[(((triple1) -> rule5))] Bob is kind.[(((triple4 triple3) -> rule9) OR ((triple4 ((triple4) -> rule5)) -> rule9) OR ((triple4 ((triple5 triple6) -> rule1)) -> rule9) OR ((triple4 ((triple5 ((triple5 triple7) -> rule4)) -> rule1)) -> rule9))] Charlie is big.[(((triple8) -> rule5) OR ((triple9 triple10) -> rule1) OR ((triple9 ((triple11) -> rule2)) -> rule1) OR ((triple9 ((triple11 triple10) -> rule8)) -> rule6) OR ((triple9 ((triple11 ((triple11) -> rule2)) -> rule8)) -> rule6))] Charlie is white.[(((triple11 triple10) -> rule8) OR ((triple11 ((triple11) -> rule2)) -> rule8) OR ((((((triple8 ((triple8) -> rule5)) -> rule9) triple10) -> rule3) triple10) -> rule8) OR ((((((triple8 ((triple9 triple10) -> rule1)) -> rule9) triple10) -> rule3) triple10) -> rule8) OR ((((((triple8 ((triple8) -> rule5)) -> rule9) triple10) -> rule3) ((triple11) -> rule2)) -> rule8) OR ((((((triple8 ((triple9 triple10) -> rule1)) -> rule9) triple10) -> rule3) ((triple11) -> rule2)) -> rule8))] Gary is big.[(((triple13 triple14) -> rule1) OR ((triple13 ((triple15) -> rule2)) -> rule1) OR ((triple13 ((triple13 triple16) -> rule4)) -> rule1) OR ((((triple16 triple12) -> rule7) triple14) -> rule1) OR ((((triple16 triple12) -> rule7) ((triple15) -> rule2)) -> rule1) OR ((((triple16 triple12) -> rule7) ((triple13 triple16) -> rule4)) -> rule1) OR ((triple13 ((((triple16 triple12) -> rule7) triple16) -> rule4)) -> rule1) OR ((((((triple15 triple14) -> rule8) triple12) -> rule7) triple14) -> rule1) OR ((((triple16 triple12) -> rule7) ((((triple16 triple12) -> rule7) triple16) -> rule4)) -> rule1) OR ((((((triple15 triple14) -> rule8) triple12) -> rule7) ((triple15) -> rule2)) -> rule1) OR ((((((triple15 triple14) -> rule8) triple12) -> rule7) ((triple13 triple16) -> rule4)) -> rule1) OR ((((((triple15 triple14) -> rule8) triple12) -> rule7) ((((triple16 triple12) -> rule7) triple16) -> rule4)) -> rule1) OR ((((((triple15 ((triple15) -> rule2)) -> rule8) triple12) -> rule7) triple14) -> rule1) OR ((((((((triple12 triple14) -> rule3) triple14) -> rule8) triple12) -> rule7) triple14) -> rule1) OR ((((((triple15 ((triple15) -> rule2)) -> rule8) triple12) -> rule7) ((triple15) -> rule2)) -> rule1) OR ((((((triple15 ((triple15) -> rule2)) -> rule8) triple12) -> rule7) ((triple13 triple16) -> rule4)) -> rule1) OR ((((((((triple12 triple14) -> rule3) triple14) -> rule8) triple12) -> rule7) ((triple15) -> rule2)) -> rule1) OR ((((((((triple12 triple14) -> rule3) triple14) -> rule8) triple12) -> rule7) ((triple13 triple16) -> rule4)) -> rule1) OR ((((((((triple12 triple14) -> rule3) ((triple15) -> rule2)) -> rule8) triple12) -> rule7) triple14) -> rule1) OR ((((((triple15 ((triple15) -> rule2)) -> rule8) triple12) -> rule7) ((((triple16 triple12) -> rule7) triple16) -> rule4)) -> rule1) OR ((((((((triple12 triple14) -> rule3) triple14) -> rule8) triple12) -> rule7) ((((triple16 triple12) -> rule7) triple16) -> rule4)) -> rule1) OR ((((((((triple12 triple14) -> rule3) ((triple15) -> rule2)) -> rule8) triple12) -> rule7) ((triple15) -> rule2)) -> rule1) OR ((((((((triple12 triple14) -> rule3) ((triple15) -> rule2)) -> rule8) triple12) -> rule7) ((triple13 triple16) -> rule4)) -> rule1) OR ((((((((triple12 triple14) -> rule3) ((triple15) -> rule2)) -> rule8) triple12) -> rule7) ((((triple16 triple12) -> rule7) triple16) -> rule4)) -> rule1))] @2: Anne is kind.[(((triple1 ((triple1) -> rule5)) -> rule9))] Bob is smart.[(((((triple4 triple3) -> rule9) triple6) -> rule3) OR ((((triple4 triple3) -> rule9) ((triple5 triple7) -> rule4)) -> rule3) OR ((((triple4 ((triple4) -> rule5)) -> rule9) triple6) -> rule3) OR ((((triple4 ((triple5 triple6) -> rule1)) -> rule9) triple6) -> rule3) OR ((((triple4 ((triple4) -> rule5)) -> rule9) ((triple5 triple7) -> rule4)) -> rule3) OR ((((triple4 ((triple5 triple6) -> rule1)) -> rule9) ((triple5 triple7) -> rule4)) -> rule3) OR ((((triple4 ((triple5 ((triple5 triple7) -> rule4)) -> rule1)) -> rule9) triple6) -> rule3) OR ((((triple4 triple3) -> rule9) ((((triple7 ((triple4 triple3) -> rule9)) -> rule7) triple7) -> rule4)) -> rule3) OR ((((triple4 ((triple5 ((triple5 triple7) -> rule4)) -> rule1)) -> rule9) ((triple5 triple7) -> rule4)) -> rule3) OR ((((triple4 ((triple4) -> rule5)) -> rule9) ((((triple7 ((triple4 triple3) -> rule9)) -> rule7) triple7) -> rule4)) -> rule3) OR ((((triple4 ((triple5 triple6) -> rule1)) -> rule9) ((((triple7 ((triple4 triple3) -> rule9)) -> rule7) triple7) -> rule4)) -> rule3) OR ((((triple4 ((triple5 ((triple5 triple7) -> rule4)) -> rule1)) -> rule9) ((((triple7 ((triple4 triple3) -> rule9)) -> rule7) triple7) -> rule4)) -> rule3) OR ((((triple4 triple3) -> rule9) ((((triple7 ((triple4 ((triple4) -> rule5)) -> rule9)) -> rule7) triple7) -> rule4)) -> rule3) OR ((((triple4 ((triple4) -> rule5)) -> rule9) ((((triple7 ((triple4 ((triple4) -> rule5)) -> rule9)) -> rule7) triple7) -> rule4)) -> rule3) OR ((((triple4 ((triple5 triple6) -> rule1)) -> rule9) ((((triple7 ((triple4 ((triple4) -> rule5)) -> rule9)) -> rule7) triple7) -> rule4)) -> rule3) OR ((((triple4 ((triple5 ((triple5 triple7) -> rule4)) -> rule1)) -> rule9) ((((triple7 ((triple4 ((triple4) -> rule5)) -> rule9)) -> rule7) triple7) -> rule4)) -> rule3))] Charlie is kind.[(((triple8 ((triple8) -> rule5)) -> rule9) OR ((triple8 ((triple9 triple10) -> rule1)) -> rule9) OR ((triple8 ((triple9 ((triple11) -> rule2)) -> rule1)) -> rule9) OR ((triple8 ((triple9 ((triple11 triple10) -> rule8)) -> rule6)) -> rule9) OR ((triple8 ((triple9 ((triple11 ((triple11) -> rule2)) -> rule8)) -> rule6)) -> rule9))] @3: Anne is nice.[(((triple2 ((triple1 ((triple1) -> rule5)) -> rule9)) -> rule7))] @4: Anne is round.[(((((triple2 ((triple1 ((triple1) -> rule5)) -> rule9)) -> rule7) triple2) -> rule4))] @5: Anne is smart.[(((((triple1 ((triple1) -> rule5)) -> rule9) ((((triple2 ((triple1 ((triple1) -> rule5)) -> rule9)) -> rule7) triple2) -> rule4)) -> rule3))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Bob is big.
("Bob" "is" "big" "+")
triple3
((triple4) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple5 triple6) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple5 ((triple5 triple7) -> (rule4 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple5
((triple7 ((triple4 triple3) -> (rule9 % int2))) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((triple7 ((triple4 ((triple4) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((((triple4 triple3) -> (rule9 % int4)) triple6) -> (rule3 % int3)) triple6) -> (rule8 % int2)) ((triple4 triple3) -> (rule9 % int4))) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((((triple4 triple3) -> (rule9 % int5)) triple6) -> (rule3 % int4)) triple6) -> (rule8 % int3)) ((triple4 ((triple4) -> (rule5 % int2))) -> (rule9 % int5))) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((((triple4 ((triple4) -> (rule5 % int5))) -> (rule9 % int4)) triple6) -> (rule3 % int3)) triple6) -> (rule8 % int2)) ((triple4 triple3) -> (rule9 % int4))) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((((((triple4 ((triple4) -> (rule5 % int5))) -> (rule9 % int4)) triple6) -> (rule3 % int3)) triple6) -> (rule8 % int2)) ((triple4 ((triple4) -> (rule5 % int5))) -> (rule9 % int4))) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is round.
("Bob" "is" "round" "+")
triple6
((triple5 triple7) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((((triple7 ((triple4 triple3) -> (rule9 % int3))) -> (rule7 % int2)) triple7) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple7 ((triple4 ((triple4) -> (rule5 % int4))) -> (rule9 % int3))) -> (rule7 % int2)) triple7) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
triple7
((((((triple4 triple3) -> (rule9 % int3)) triple6) -> (rule3 % int2)) triple6) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple4 ((triple4) -> (rule5 % int4))) -> (rule9 % int3)) triple6) -> (rule3 % int2)) triple6) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((triple4 ((triple5 triple6) -> (rule1 % int4))) -> (rule9 % int3)) triple6) -> (rule3 % int2)) triple6) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple8
Charlie is nice.
("Charlie" "is" "nice" "+")
triple9
((((triple11 triple10) -> (rule8 % int4)) ((triple8 ((triple8) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((triple11 ((triple11) -> (rule2 % int5))) -> (rule8 % int4)) ((triple8 ((triple8) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((((triple8 ((triple8) -> (rule5 % int5))) -> (rule9 % int4)) triple10) -> (rule3 % int3)) triple10) -> (rule8 % int2)) ((triple8 ((triple8) -> (rule5 % int5))) -> (rule9 % int4))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((((triple8 ((triple8) -> (rule5 % int6))) -> (rule9 % int5)) triple10) -> (rule3 % int4)) ((triple11) -> (rule2 % int3))) -> (rule8 % int2)) ((triple8 ((triple8) -> (rule5 % int6))) -> (rule9 % int5))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is big.
("Charlie" "is" "big" "+")
int6
Charlie is round.
("Charlie" "is" "round" "+")
triple10
((triple11) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple11
((((triple8 ((triple8) -> (rule5 % int3))) -> (rule9 % int2)) triple10) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((triple8 ((triple9 triple10) -> (rule1 % int3))) -> (rule9 % int2)) triple10) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
triple12
Gary is nice.
("Gary" "is" "nice" "+")
triple13
((triple16 triple12) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((((triple15 triple14) -> (rule8 % int2)) triple12) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((triple15 ((triple15) -> (rule2 % int3))) -> (rule8 % int2)) triple12) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple12 triple14) -> (rule3 % int3)) triple14) -> (rule8 % int2)) triple12) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple12 triple14) -> (rule3 % int4)) ((triple15) -> (rule2 % int3))) -> (rule8 % int2)) triple12) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
triple14
((triple15) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple13 triple16) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((((triple16 triple12) -> (rule7 % int2)) triple16) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
triple15
((triple12 triple14) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((triple12 ((triple13 triple16) -> (rule4 % int2))) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((triple12 ((((triple16 triple12) -> (rule7 % int3)) triple16) -> (rule4 % int2))) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
triple16
((triple15 triple14) -> (rule8 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((triple15 ((triple15) -> (rule2 % int2))) -> (rule8 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple12 triple14) -> (rule3 % int2)) triple14) -> (rule8 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple12 triple14) -> (rule3 % int3)) ((triple15) -> (rule2 % int2))) -> (rule8 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
((triple1) -> (rule5 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((triple4 triple3) -> (rule9 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple4 ((triple4) -> (rule5 % int2))) -> (rule9 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((triple4 ((triple5 triple6) -> (rule1 % int2))) -> (rule9 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((triple4 ((triple5 ((triple5 triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
((triple8) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple9 triple10) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple9 ((triple11) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((triple9 ((triple11 triple10) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((triple9 ((triple11 ((triple11) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
((triple11 triple10) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((triple11 ((triple11) -> (rule2 % int2))) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((((triple8 ((triple8) -> (rule5 % int4))) -> (rule9 % int3)) triple10) -> (rule3 % int2)) triple10) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple8 ((triple9 triple10) -> (rule1 % int4))) -> (rule9 % int3)) triple10) -> (rule3 % int2)) triple10) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple8 ((triple8) -> (rule5 % int5))) -> (rule9 % int4)) triple10) -> (rule3 % int3)) ((triple11) -> (rule2 % int2))) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple8 ((triple9 triple10) -> (rule1 % int5))) -> (rule9 % int4)) triple10) -> (rule3 % int3)) ((triple11) -> (rule2 % int2))) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Gary is big.
("Gary" "is" "big" "+")
((triple13 triple14) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple13 ((triple15) -> (rule2 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((triple13 ((triple13 triple16) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple16 triple12) -> (rule7 % int2)) triple14) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple16 triple12) -> (rule7 % int3)) ((triple15) -> (rule2 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((triple16 triple12) -> (rule7 % int3)) ((triple13 triple16) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((triple13 ((((triple16 triple12) -> (rule7 % int3)) triple16) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple15 triple14) -> (rule8 % int3)) triple12) -> (rule7 % int2)) triple14) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((((triple16 triple12) -> (rule7 % int3)) ((((triple16 triple12) -> (rule7 % int3)) triple16) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple15 triple14) -> (rule8 % int4)) triple12) -> (rule7 % int3)) ((triple15) -> (rule2 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple15 triple14) -> (rule8 % int4)) triple12) -> (rule7 % int3)) ((triple13 triple16) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple15 triple14) -> (rule8 % int4)) triple12) -> (rule7 % int3)) ((((triple16 triple12) -> (rule7 % int3)) triple16) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple15 ((triple15) -> (rule2 % int4))) -> (rule8 % int3)) triple12) -> (rule7 % int2)) triple14) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((((triple12 triple14) -> (rule3 % int4)) triple14) -> (rule8 % int3)) triple12) -> (rule7 % int2)) triple14) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((((triple15 ((triple15) -> (rule2 % int4))) -> (rule8 % int3)) triple12) -> (rule7 % int2)) ((triple15) -> (rule2 % int4))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple15 ((triple15) -> (rule2 % int4))) -> (rule8 % int3)) triple12) -> (rule7 % int2)) ((triple13 triple16) -> (rule4 % int4))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((((triple12 triple14) -> (rule3 % int5)) triple14) -> (rule8 % int4)) triple12) -> (rule7 % int3)) ((triple15) -> (rule2 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((((((triple12 triple14) -> (rule3 % int5)) triple14) -> (rule8 % int4)) triple12) -> (rule7 % int3)) ((triple13 triple16) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((((((triple12 triple14) -> (rule3 % int5)) ((triple15) -> (rule2 % int4))) -> (rule8 % int3)) triple12) -> (rule7 % int2)) triple14) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((((triple15 ((triple15) -> (rule2 % int4))) -> (rule8 % int3)) triple12) -> (rule7 % int2)) ((((triple16 triple12) -> (rule7 % int2)) triple16) -> (rule4 % int4))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((((triple12 triple14) -> (rule3 % int5)) triple14) -> (rule8 % int4)) triple12) -> (rule7 % int3)) ((((triple16 triple12) -> (rule7 % int3)) triple16) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((((((triple12 triple14) -> (rule3 % int5)) ((triple15) -> (rule2 % int4))) -> (rule8 % int3)) triple12) -> (rule7 % int2)) ((triple15) -> (rule2 % int4))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((((((triple12 triple14) -> (rule3 % int5)) ((triple15) -> (rule2 % int4))) -> (rule8 % int3)) triple12) -> (rule7 % int2)) ((triple13 triple16) -> (rule4 % int4))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((((((triple12 triple14) -> (rule3 % int5)) ((triple15) -> (rule2 % int4))) -> (rule8 % int3)) triple12) -> (rule7 % int2)) ((((triple16 triple12) -> (rule7 % int2)) triple16) -> (rule4 % int4))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
((triple1 ((triple1) -> (rule5 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
((((triple4 triple3) -> (rule9 % int2)) triple6) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple4 triple3) -> (rule9 % int3)) ((triple5 triple7) -> (rule4 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple4 ((triple4) -> (rule5 % int3))) -> (rule9 % int2)) triple6) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((triple4 ((triple5 triple6) -> (rule1 % int3))) -> (rule9 % int2)) triple6) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((triple4 ((triple4) -> (rule5 % int4))) -> (rule9 % int3)) ((triple5 triple7) -> (rule4 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((triple4 ((triple5 triple6) -> (rule1 % int4))) -> (rule9 % int3)) ((triple5 triple7) -> (rule4 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((triple4 ((triple5 ((triple5 triple7) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule9 % int2)) triple6) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple4 triple3) -> (rule9 % int4)) ((((triple7 ((triple4 triple3) -> (rule9 % int4))) -> (rule7 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple4 ((triple5 ((triple5 triple7) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule9 % int2)) ((triple5 triple7) -> (rule4 % int4))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple4 ((triple4) -> (rule5 % int5))) -> (rule9 % int4)) ((((triple7 ((triple4 triple3) -> (rule9 % int4))) -> (rule7 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((triple4 ((triple5 triple6) -> (rule1 % int5))) -> (rule9 % int4)) ((((triple7 ((triple4 triple3) -> (rule9 % int4))) -> (rule7 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((triple4 ((triple5 ((triple5 triple7) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule9 % int3)) ((((triple7 ((triple4 triple3) -> (rule9 % int3))) -> (rule7 % int2)) triple7) -> (rule4 % int5))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((triple4 triple3) -> (rule9 % int5)) ((((triple7 ((triple4 ((triple4) -> (rule5 % int4))) -> (rule9 % int5))) -> (rule7 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple4 ((triple4) -> (rule5 % int5))) -> (rule9 % int4)) ((((triple7 ((triple4 ((triple4) -> (rule5 % int5))) -> (rule9 % int4))) -> (rule7 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((triple4 ((triple5 triple6) -> (rule1 % int5))) -> (rule9 % int4)) ((((triple7 ((triple4 ((triple4) -> (rule5 % int5))) -> (rule9 % int4))) -> (rule7 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((triple4 ((triple5 ((triple5 triple7) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule9 % int3)) ((((triple7 ((triple4 ((triple4) -> (rule5 % int4))) -> (rule9 % int3))) -> (rule7 % int2)) triple7) -> (rule4 % int5))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple8 ((triple8) -> (rule5 % int2))) -> (rule9 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((triple8 ((triple9 triple10) -> (rule1 % int2))) -> (rule9 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((triple8 ((triple9 ((triple11) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((triple8 ((triple9 ((triple11 triple10) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((triple8 ((triple9 ((triple11 ((triple11) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
((triple2 ((triple1 ((triple1) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
((((triple2 ((triple1 ((triple1) -> (rule5 % int4))) -> (rule9 % int3))) -> (rule7 % int2)) triple2) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
((((triple1 ((triple1) -> (rule5 % int5))) -> (rule9 % int4)) ((((triple2 ((triple1 ((triple1) -> (rule5 % int5))) -> (rule9 % int4))) -> (rule7 % int3)) triple2) -> (rule4 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5