Bob is big. Bob is green. Bob is kind. Bob is quiet. Bob is round. Bob is white. Charlie is big. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is round. Charlie is smart. Charlie is white. Erin is green. Erin is quiet. Erin is white. Smart, round people are green. All round, kind people are green. All smart, white people are round. Green, white people are big. All big people are smart. All kind people are round. Kind people are white. If someone is round then they are big.
Bob is big.
("Bob" "is" "big" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Smart, round people are green.
((("someone" "is" "smart" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
All round, kind people are green.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
All smart, white people are round.
((("someone" "is" "smart" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
Green, white people are big.
((("someone" "is" "green" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "big" "+"))
All big people are smart.
((("someone" "is" "big" "+")) -> ("someone" "is" "smart" "+"))
All kind people are round.
((("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
Kind people are white.
((("someone" "is" "kind" "+")) -> ("someone" "is" "white" "+"))
If someone is round then they are big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Erin is white.
True
1
proof
[(triple16)]
("Erin" "is" "white" "+")
triple16
Erin is not white.
False
1
inv-proof
[(triple16)]
("Erin" "is" "white" "-")
triple16
Bob is smart.
True
2
proof
[(((triple1) -> rule5) OR ((((triple5) -> rule8)) -> rule5) OR ((((triple2 triple6) -> rule4)) -> rule5) OR ((((((triple3) -> rule6)) -> rule8)) -> rule5) OR ((((triple2 ((triple3) -> rule7)) -> rule4)) -> rule5) OR ((((((triple5 triple3) -> rule2) triple6) -> rule4)) -> rule5) OR ((((((triple5 triple3) -> rule2) ((triple3) -> rule7)) -> rule4)) -> rule5) OR ((((((((triple3) -> rule6) triple3) -> rule2) triple6) -> rule4)) -> rule5) OR ((((((((triple3) -> rule6) triple3) -> rule2) ((triple3) -> rule7)) -> rule4)) -> rule5))]
("Bob" "is" "smart" "+")
((triple1) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((((triple5) -> (rule8 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((triple2 triple6) -> (rule4 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((((triple3) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((triple2 ((triple3) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((((((triple5 triple3) -> (rule2 % int3)) triple6) -> (rule4 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple5 triple3) -> (rule2 % int4)) ((triple3) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple3) -> (rule6 % int4)) triple3) -> (rule2 % int3)) triple6) -> (rule4 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((((triple3) -> (rule6 % int5)) triple3) -> (rule2 % int4)) ((triple3) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Erin is not big.
False
3
inv-proof
[(((triple14 triple16) -> rule4))]
("Erin" "is" "big" "-")
((triple14 triple16) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is smart.
True
4
proof
[(((((triple14 triple16) -> rule4)) -> rule5))]
("Erin" "is" "smart" "+")
((((triple14 triple16) -> (rule4 % int2))) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is not smart.
False
4
inv-proof
[(((((triple14 triple16) -> rule4)) -> rule5))]
("Erin" "is" "smart" "-")
((((triple14 triple16) -> (rule4 % int2))) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
True
6
proof
[(((((((triple14 triple16) -> rule4)) -> rule5) triple16) -> rule3))]
("Erin" "is" "round" "+")
((((((triple14 triple16) -> (rule4 % int3))) -> (rule5 % int2)) triple16) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is not round.
False
6
inv-proof
[(((((((triple14 triple16) -> rule4)) -> rule5) triple16) -> rule3))]
("Erin" "is" "round" "-")
((((((triple14 triple16) -> (rule4 % int3))) -> (rule5 % int2)) triple16) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
@0: Bob is big.[(triple1 OR ((triple5) -> rule8) OR ((triple2 triple6) -> rule4) OR ((((triple3) -> rule6)) -> rule8) OR ((triple2 ((triple3) -> rule7)) -> rule4) OR ((((triple5 triple3) -> rule2) triple6) -> rule4) OR ((((triple5 triple3) -> rule2) ((triple3) -> rule7)) -> rule4) OR ((((((triple3) -> rule6) triple3) -> rule2) triple6) -> rule4) OR ((((((triple3) -> rule6) triple3) -> rule2) ((triple3) -> rule7)) -> rule4))] Bob is green.[(triple2 OR ((triple5 triple3) -> rule2) OR ((((triple1) -> rule5) triple5) -> rule1) OR ((((triple3) -> rule6) triple3) -> rule2) OR ((((triple1) -> rule5) ((triple3) -> rule6)) -> rule1) OR ((((((triple5) -> rule8)) -> rule5) triple5) -> rule1) OR ((((((triple1) -> rule5) triple6) -> rule3) triple3) -> rule2) OR ((((triple1) -> rule5) ((((triple1) -> rule5) triple6) -> rule3)) -> rule1) OR ((((((triple5) -> rule8)) -> rule5) ((triple3) -> rule6)) -> rule1) OR ((((((triple1) -> rule5) ((triple3) -> rule7)) -> rule3) triple3) -> rule2) OR ((((triple1) -> rule5) ((((triple1) -> rule5) ((triple3) -> rule7)) -> rule3)) -> rule1) OR ((((((triple5) -> rule8)) -> rule5) ((((triple1) -> rule5) triple6) -> rule3)) -> rule1) OR ((((((triple5) -> rule8)) -> rule5) ((((triple1) -> rule5) ((triple3) -> rule7)) -> rule3)) -> rule1) OR ((((((((triple3) -> rule6)) -> rule8)) -> rule5) triple5) -> rule1) OR ((((((((triple3) -> rule6)) -> rule8)) -> rule5) ((triple3) -> rule6)) -> rule1) OR ((((((((triple3) -> rule6)) -> rule8)) -> rule5) ((((triple1) -> rule5) triple6) -> rule3)) -> rule1) OR ((((((((triple3) -> rule6)) -> rule8)) -> rule5) ((((triple1) -> rule5) ((triple3) -> rule7)) -> rule3)) -> rule1))] Bob is kind.[(triple3)] Bob is quiet.[(triple4)] Bob is round.[(triple5 OR ((triple3) -> rule6) OR ((((triple1) -> rule5) triple6) -> rule3) OR ((((triple1) -> rule5) ((triple3) -> rule7)) -> rule3) OR ((((((triple2 triple6) -> rule4)) -> rule5) triple6) -> rule3) OR ((((((triple2 triple6) -> rule4)) -> rule5) ((triple3) -> rule7)) -> rule3) OR ((((((triple2 ((triple3) -> rule7)) -> rule4)) -> rule5) triple6) -> rule3) OR ((((((triple2 ((triple3) -> rule7)) -> rule4)) -> rule5) ((triple3) -> rule7)) -> rule3))] Bob is white.[(triple6 OR ((triple3) -> rule7))] Charlie is big.[(triple7 OR ((triple11) -> rule8) OR ((triple8 triple13) -> rule4) OR ((((triple9) -> rule6)) -> rule8) OR ((((triple12 triple13) -> rule3)) -> rule8) OR ((triple8 ((triple9) -> rule7)) -> rule4) OR ((((triple11 triple9) -> rule2) triple13) -> rule4) OR ((((triple12 triple11) -> rule1) triple13) -> rule4) OR ((((triple11 triple9) -> rule2) ((triple9) -> rule7)) -> rule4) OR ((((triple12 triple11) -> rule1) ((triple9) -> rule7)) -> rule4) OR ((((triple12 ((triple9) -> rule7)) -> rule3)) -> rule8) OR ((((triple12 ((triple9) -> rule6)) -> rule1) triple13) -> rule4) OR ((((triple12 ((triple12 triple13) -> rule3)) -> rule1) triple13) -> rule4) OR ((((((triple9) -> rule6) triple9) -> rule2) triple13) -> rule4) OR ((((((triple12 triple13) -> rule3) triple9) -> rule2) triple13) -> rule4) OR ((((triple12 ((triple9) -> rule6)) -> rule1) ((triple9) -> rule7)) -> rule4) OR ((((triple12 ((triple12 triple13) -> rule3)) -> rule1) ((triple9) -> rule7)) -> rule4) OR ((((((triple9) -> rule6) triple9) -> rule2) ((triple9) -> rule7)) -> rule4) OR ((((((triple12 triple13) -> rule3) triple9) -> rule2) ((triple9) -> rule7)) -> rule4) OR ((((triple12 ((triple12 ((triple9) -> rule7)) -> rule3)) -> rule1) triple13) -> rule4) OR ((((((triple12 ((triple9) -> rule7)) -> rule3) triple9) -> rule2) triple13) -> rule4) OR ((((triple12 ((triple12 ((triple9) -> rule7)) -> rule3)) -> rule1) ((triple9) -> rule7)) -> rule4) OR ((((((triple12 ((triple9) -> rule7)) -> rule3) triple9) -> rule2) ((triple9) -> rule7)) -> rule4))] Charlie is green.[(triple8 OR ((triple11 triple9) -> rule2) OR ((triple12 triple11) -> rule1) OR ((triple12 ((triple9) -> rule6)) -> rule1) OR ((triple12 ((triple12 triple13) -> rule3)) -> rule1) OR ((((triple7) -> rule5) triple11) -> rule1) OR ((((triple9) -> rule6) triple9) -> rule2) OR ((((triple12 triple13) -> rule3) triple9) -> rule2) OR ((((triple7) -> rule5) ((triple9) -> rule6)) -> rule1) OR ((((triple7) -> rule5) ((triple12 triple13) -> rule3)) -> rule1) OR ((triple12 ((triple12 ((triple9) -> rule7)) -> rule3)) -> rule1) OR ((triple12 ((((triple7) -> rule5) triple13) -> rule3)) -> rule1) OR ((((((triple11) -> rule8)) -> rule5) triple11) -> rule1) OR ((((triple12 ((triple9) -> rule7)) -> rule3) triple9) -> rule2) OR ((((((triple7) -> rule5) triple13) -> rule3) triple9) -> rule2) OR ((triple12 ((((triple7) -> rule5) ((triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple7) -> rule5) ((triple12 ((triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple7) -> rule5) ((((triple7) -> rule5) triple13) -> rule3)) -> rule1) OR ((((((triple11) -> rule8)) -> rule5) ((triple9) -> rule6)) -> rule1) OR ((((((triple11) -> rule8)) -> rule5) ((triple12 triple13) -> rule3)) -> rule1) OR ((((((triple7) -> rule5) ((triple9) -> rule7)) -> rule3) triple9) -> rule2) OR ((((triple7) -> rule5) ((((triple7) -> rule5) ((triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple11) -> rule8)) -> rule5) ((triple12 ((triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple11) -> rule8)) -> rule5) ((((triple7) -> rule5) triple13) -> rule3)) -> rule1) OR ((((((triple11) -> rule8)) -> rule5) ((((triple7) -> rule5) ((triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule6)) -> rule8)) -> rule5) triple11) -> rule1) OR ((((((((triple9) -> rule6)) -> rule8)) -> rule5) ((triple9) -> rule6)) -> rule1) OR ((((((((triple9) -> rule6)) -> rule8)) -> rule5) ((triple12 triple13) -> rule3)) -> rule1) OR ((((((((triple9) -> rule6)) -> rule8)) -> rule5) ((triple12 ((triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule6)) -> rule8)) -> rule5) ((((triple7) -> rule5) triple13) -> rule3)) -> rule1) OR ((((((((triple9) -> rule6)) -> rule8)) -> rule5) ((((triple7) -> rule5) ((triple9) -> rule7)) -> rule3)) -> rule1))] Charlie is kind.[(triple9)] Charlie is quiet.[(triple10)] Charlie is round.[(triple11 OR ((triple9) -> rule6) OR ((triple12 triple13) -> rule3) OR ((triple12 ((triple9) -> rule7)) -> rule3) OR ((((triple7) -> rule5) triple13) -> rule3) OR ((((triple7) -> rule5) ((triple9) -> rule7)) -> rule3) OR ((((((triple8 triple13) -> rule4)) -> rule5) triple13) -> rule3) OR ((((((triple8 triple13) -> rule4)) -> rule5) ((triple9) -> rule7)) -> rule3) OR ((((((triple8 ((triple9) -> rule7)) -> rule4)) -> rule5) triple13) -> rule3) OR ((((((triple8 ((triple9) -> rule7)) -> rule4)) -> rule5) ((triple9) -> rule7)) -> rule3))] Charlie is smart.[(triple12 OR ((triple7) -> rule5) OR ((((triple11) -> rule8)) -> rule5) OR ((((triple8 triple13) -> rule4)) -> rule5) OR ((((((triple9) -> rule6)) -> rule8)) -> rule5) OR ((((triple8 ((triple9) -> rule7)) -> rule4)) -> rule5) OR ((((((triple11 triple9) -> rule2) triple13) -> rule4)) -> rule5) OR ((((((triple11 triple9) -> rule2) ((triple9) -> rule7)) -> rule4)) -> rule5) OR ((((((((triple9) -> rule6) triple9) -> rule2) triple13) -> rule4)) -> rule5) OR ((((((((triple9) -> rule6) triple9) -> rule2) ((triple9) -> rule7)) -> rule4)) -> rule5))] Charlie is white.[(triple13 OR ((triple9) -> rule7))] Erin is green.[(triple14)] Erin is quiet.[(triple15)] Erin is white.[(triple16)] @1: Bob is smart.[(((triple1) -> rule5) OR ((((triple5) -> rule8)) -> rule5) OR ((((triple2 triple6) -> rule4)) -> rule5) OR ((((((triple3) -> rule6)) -> rule8)) -> rule5) OR ((((triple2 ((triple3) -> rule7)) -> rule4)) -> rule5) OR ((((((triple5 triple3) -> rule2) triple6) -> rule4)) -> rule5) OR ((((((triple5 triple3) -> rule2) ((triple3) -> rule7)) -> rule4)) -> rule5) OR ((((((((triple3) -> rule6) triple3) -> rule2) triple6) -> rule4)) -> rule5) OR ((((((((triple3) -> rule6) triple3) -> rule2) ((triple3) -> rule7)) -> rule4)) -> rule5))] Erin is big.[(((triple14 triple16) -> rule4))] @2: Erin is smart.[(((((triple14 triple16) -> rule4)) -> rule5))] @3: Erin is round.[(((((((triple14 triple16) -> rule4)) -> rule5) triple16) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple5) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple2 triple6) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((((triple3) -> (rule6 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((triple2 ((triple3) -> (rule7 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((((triple5 triple3) -> (rule2 % int2)) triple6) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple5 triple3) -> (rule2 % int3)) ((triple3) -> (rule7 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple3) -> (rule6 % int3)) triple3) -> (rule2 % int2)) triple6) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((((triple3) -> (rule6 % int4)) triple3) -> (rule2 % int3)) ((triple3) -> (rule7 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
triple2
((triple5 triple3) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((triple1) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple3) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple1) -> (rule5 % int3)) ((triple3) -> (rule6 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((((triple5) -> (rule8 % int3))) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((triple1) -> (rule5 % int3)) triple6) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((triple1) -> (rule5 % int3)) ((((triple1) -> (rule5 % int3)) triple6) -> (rule3 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((((triple5) -> (rule8 % int4))) -> (rule5 % int3)) ((triple3) -> (rule6 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((triple1) -> (rule5 % int4)) ((triple3) -> (rule7 % int3))) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((triple1) -> (rule5 % int4)) ((((triple1) -> (rule5 % int4)) ((triple3) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((triple5) -> (rule8 % int4))) -> (rule5 % int3)) ((((triple1) -> (rule5 % int3)) triple6) -> (rule3 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((triple5) -> (rule8 % int5))) -> (rule5 % int4)) ((((triple1) -> (rule5 % int4)) ((triple3) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((((((triple3) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((((triple3) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) ((triple3) -> (rule6 % int4))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((((triple3) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) ((((triple1) -> (rule5 % int2)) triple6) -> (rule3 % int4))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((((triple3) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule5 % int3)) ((((triple1) -> (rule5 % int3)) ((triple3) -> (rule7 % int2))) -> (rule3 % int5))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple5
((triple3) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((((triple1) -> (rule5 % int2)) triple6) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple1) -> (rule5 % int3)) ((triple3) -> (rule7 % int2))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((((triple2 triple6) -> (rule4 % int3))) -> (rule5 % int2)) triple6) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((triple2 triple6) -> (rule4 % int4))) -> (rule5 % int3)) ((triple3) -> (rule7 % int2))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((triple2 ((triple3) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple6) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((((triple2 ((triple3) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) ((triple3) -> (rule7 % int4))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
triple6
((triple3) -> (rule7 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
triple7
((triple11) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple8 triple13) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((triple9) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple12 triple13) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((triple8 ((triple9) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((triple11 triple9) -> (rule2 % int2)) triple13) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((((triple12 triple11) -> (rule1 % int2)) triple13) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((((triple11 triple9) -> (rule2 % int3)) ((triple9) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple12 triple11) -> (rule1 % int3)) ((triple9) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple12 ((triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((triple12 ((triple9) -> (rule6 % int3))) -> (rule1 % int2)) triple13) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple12 ((triple12 triple13) -> (rule3 % int3))) -> (rule1 % int2)) triple13) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple9) -> (rule6 % int3)) triple9) -> (rule2 % int2)) triple13) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple12 triple13) -> (rule3 % int3)) triple9) -> (rule2 % int2)) triple13) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple12 ((triple9) -> (rule6 % int4))) -> (rule1 % int3)) ((triple9) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple12 ((triple12 triple13) -> (rule3 % int4))) -> (rule1 % int3)) ((triple9) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple9) -> (rule6 % int4)) triple9) -> (rule2 % int3)) ((triple9) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple12 triple13) -> (rule3 % int4)) triple9) -> (rule2 % int3)) ((triple9) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple12 ((triple12 ((triple9) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple13) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((triple12 ((triple9) -> (rule7 % int4))) -> (rule3 % int3)) triple9) -> (rule2 % int2)) triple13) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((triple12 ((triple12 ((triple9) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple9) -> (rule7 % int4))) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((triple12 ((triple9) -> (rule7 % int4))) -> (rule3 % int3)) triple9) -> (rule2 % int2)) ((triple9) -> (rule7 % int4))) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
triple8
((triple11 triple9) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((triple12 triple11) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((triple12 ((triple9) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((triple12 ((triple12 triple13) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple7) -> (rule5 % int2)) triple11) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple9) -> (rule6 % int2)) triple9) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple12 triple13) -> (rule3 % int2)) triple9) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple7) -> (rule5 % int3)) ((triple9) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((triple7) -> (rule5 % int3)) ((triple12 triple13) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((triple12 ((triple12 ((triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((triple12 ((((triple7) -> (rule5 % int3)) triple13) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple11) -> (rule8 % int3))) -> (rule5 % int2)) triple11) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((triple12 ((triple9) -> (rule7 % int3))) -> (rule3 % int2)) triple9) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((triple7) -> (rule5 % int3)) triple13) -> (rule3 % int2)) triple9) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((triple12 ((((triple7) -> (rule5 % int4)) ((triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((triple7) -> (rule5 % int4)) ((triple12 ((triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((triple7) -> (rule5 % int3)) ((((triple7) -> (rule5 % int3)) triple13) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple11) -> (rule8 % int4))) -> (rule5 % int3)) ((triple9) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple11) -> (rule8 % int4))) -> (rule5 % int3)) ((triple12 triple13) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple7) -> (rule5 % int4)) ((triple9) -> (rule7 % int3))) -> (rule3 % int2)) triple9) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((triple7) -> (rule5 % int4)) ((((triple7) -> (rule5 % int4)) ((triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple11) -> (rule8 % int5))) -> (rule5 % int4)) ((triple12 ((triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple11) -> (rule8 % int4))) -> (rule5 % int3)) ((((triple7) -> (rule5 % int3)) triple13) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple11) -> (rule8 % int5))) -> (rule5 % int4)) ((((triple7) -> (rule5 % int4)) ((triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((((triple9) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) triple11) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((((triple9) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) ((triple9) -> (rule6 % int4))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((((triple9) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) ((triple12 triple13) -> (rule3 % int4))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((((triple9) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule5 % int3)) ((triple12 ((triple9) -> (rule7 % int2))) -> (rule3 % int5))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((((triple9) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) ((((triple7) -> (rule5 % int2)) triple13) -> (rule3 % int4))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((((triple9) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule5 % int3)) ((((triple7) -> (rule5 % int3)) ((triple9) -> (rule7 % int2))) -> (rule3 % int5))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple9
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple10
Charlie is round.
("Charlie" "is" "round" "+")
triple11
((triple9) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((triple12 triple13) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((triple12 ((triple9) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((triple7) -> (rule5 % int2)) triple13) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple7) -> (rule5 % int3)) ((triple9) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple8 triple13) -> (rule4 % int3))) -> (rule5 % int2)) triple13) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple8 triple13) -> (rule4 % int4))) -> (rule5 % int3)) ((triple9) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple8 ((triple9) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple13) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((triple8 ((triple9) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) ((triple9) -> (rule7 % int4))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
triple12
((triple7) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((triple11) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple8 triple13) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((((triple9) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple8 ((triple9) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((triple11 triple9) -> (rule2 % int3)) triple13) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((((triple11 triple9) -> (rule2 % int4)) ((triple9) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((((((triple9) -> (rule6 % int4)) triple9) -> (rule2 % int3)) triple13) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((((triple9) -> (rule6 % int5)) triple9) -> (rule2 % int4)) ((triple9) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
triple13
((triple9) -> (rule7 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
triple14
Erin is quiet.
("Erin" "is" "quiet" "+")
triple15
Erin is white.
("Erin" "is" "white" "+")
triple16
Bob is smart.
("Bob" "is" "smart" "+")
((triple1) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((((triple5) -> (rule8 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((triple2 triple6) -> (rule4 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((((triple3) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((triple2 ((triple3) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((((((triple5 triple3) -> (rule2 % int3)) triple6) -> (rule4 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple5 triple3) -> (rule2 % int4)) ((triple3) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple3) -> (rule6 % int4)) triple3) -> (rule2 % int3)) triple6) -> (rule4 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((((triple3) -> (rule6 % int5)) triple3) -> (rule2 % int4)) ((triple3) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
((triple14 triple16) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((((triple14 triple16) -> (rule4 % int2))) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
((((((triple14 triple16) -> (rule4 % int3))) -> (rule5 % int2)) triple16) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3