Charlie is big. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is round. Charlie is smart. Charlie is young. Gary is big. Gary is kind. Gary is nice. Gary is quiet. Gary is smart. Big, round things are quiet. Smart, quiet things are big. All kind things are smart. If something is quiet then it is young. All round things are quiet. Nice things are quiet. All young, big things are nice. All nice things are round.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Big, round things are quiet.
((("something" "is" "big" "+") ("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
Smart, quiet things are big.
((("something" "is" "smart" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "big" "+"))
All kind things are smart.
((("something" "is" "kind" "+")) -> ("something" "is" "smart" "+"))
If something is quiet then it is young.
((("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
All round things are quiet.
((("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
Nice things are quiet.
((("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
All young, big things are nice.
((("something" "is" "young" "+") ("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
All nice things are round.
((("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
Gary is big.
True
1
proof
[(triple8 OR ((triple12 triple11) -> rule2) OR ((triple12 ((triple10) -> rule6)) -> rule2) OR ((((triple9) -> rule3) triple11) -> rule2) OR ((((triple9) -> rule3) ((triple10) -> rule6)) -> rule2) OR ((triple12 ((((triple10) -> rule8)) -> rule5)) -> rule2) OR ((((triple9) -> rule3) ((((triple10) -> rule8)) -> rule5)) -> rule2))]
("Gary" "is" "big" "+")
triple8
((triple12 triple11) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple12 ((triple10) -> (rule6 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple9) -> (rule3 % int2)) triple11) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple9) -> (rule3 % int3)) ((triple10) -> (rule6 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((triple12 ((((triple10) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple9) -> (rule3 % int4)) ((((triple10) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is not big.
False
1
inv-proof
[(triple8 OR ((triple12 triple11) -> rule2) OR ((triple12 ((triple10) -> rule6)) -> rule2) OR ((((triple9) -> rule3) triple11) -> rule2) OR ((((triple9) -> rule3) ((triple10) -> rule6)) -> rule2) OR ((triple12 ((((triple10) -> rule8)) -> rule5)) -> rule2) OR ((((triple9) -> rule3) ((((triple10) -> rule8)) -> rule5)) -> rule2))]
("Gary" "is" "big" "-")
triple8
((triple12 triple11) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple12 ((triple10) -> (rule6 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple9) -> (rule3 % int2)) triple11) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple9) -> (rule3 % int3)) ((triple10) -> (rule6 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((triple12 ((((triple10) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple9) -> (rule3 % int4)) ((((triple10) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is young.
True
2
proof
[(((triple11) -> rule4) OR ((((triple10) -> rule6)) -> rule4) OR ((((((triple10) -> rule8)) -> rule5)) -> rule4) OR ((((triple8 ((triple10) -> rule8)) -> rule1)) -> rule4))]
("Gary" "is" "young" "+")
((triple11) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((triple10) -> (rule6 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((((triple10) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple8 ((triple10) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is not young.
False
2
inv-proof
[(((triple11) -> rule4) OR ((((triple10) -> rule6)) -> rule4) OR ((((((triple10) -> rule8)) -> rule5)) -> rule4) OR ((((triple8 ((triple10) -> rule8)) -> rule1)) -> rule4))]
("Gary" "is" "young" "-")
((triple11) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((triple10) -> (rule6 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((((triple10) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple8 ((triple10) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
@0: Charlie is big.[(triple1 OR ((triple6 triple4) -> rule2) OR ((triple6 ((triple3) -> rule6)) -> rule2) OR ((triple6 ((triple5) -> rule5)) -> rule2) OR ((((triple2) -> rule3) triple4) -> rule2) OR ((((triple2) -> rule3) ((triple3) -> rule6)) -> rule2) OR ((((triple2) -> rule3) ((triple5) -> rule5)) -> rule2) OR ((triple6 ((((triple3) -> rule8)) -> rule5)) -> rule2) OR ((((triple2) -> rule3) ((((triple3) -> rule8)) -> rule5)) -> rule2))] Charlie is kind.[(triple2)] Charlie is nice.[(triple3 OR ((triple7 triple1) -> rule7) OR ((triple7 ((triple6 triple4) -> rule2)) -> rule7) OR ((((triple4) -> rule4) triple1) -> rule7) OR ((((triple4) -> rule4) ((triple6 triple4) -> rule2)) -> rule7) OR ((triple7 ((triple6 ((triple5) -> rule5)) -> rule2)) -> rule7) OR ((triple7 ((((triple2) -> rule3) triple4) -> rule2)) -> rule7) OR ((((((triple5) -> rule5)) -> rule4) triple1) -> rule7) OR ((((((triple1 triple5) -> rule1)) -> rule4) triple1) -> rule7) OR ((triple7 ((((triple2) -> rule3) ((triple5) -> rule5)) -> rule2)) -> rule7) OR ((((triple4) -> rule4) ((triple6 ((triple5) -> rule5)) -> rule2)) -> rule7) OR ((((triple4) -> rule4) ((((triple2) -> rule3) triple4) -> rule2)) -> rule7) OR ((((((triple5) -> rule5)) -> rule4) ((triple6 triple4) -> rule2)) -> rule7) OR ((((((triple1 triple5) -> rule1)) -> rule4) ((triple6 triple4) -> rule2)) -> rule7) OR ((((triple4) -> rule4) ((((triple2) -> rule3) ((triple5) -> rule5)) -> rule2)) -> rule7) OR ((((((triple5) -> rule5)) -> rule4) ((triple6 ((triple5) -> rule5)) -> rule2)) -> rule7) OR ((((((triple5) -> rule5)) -> rule4) ((((triple2) -> rule3) triple4) -> rule2)) -> rule7) OR ((((((triple1 triple5) -> rule1)) -> rule4) ((triple6 ((triple5) -> rule5)) -> rule2)) -> rule7) OR ((((((triple1 triple5) -> rule1)) -> rule4) ((((triple2) -> rule3) triple4) -> rule2)) -> rule7) OR ((((((triple5) -> rule5)) -> rule4) ((((triple2) -> rule3) ((triple5) -> rule5)) -> rule2)) -> rule7) OR ((((((triple1 triple5) -> rule1)) -> rule4) ((((triple2) -> rule3) ((triple5) -> rule5)) -> rule2)) -> rule7))] Charlie is quiet.[(triple4 OR ((triple3) -> rule6) OR ((triple5) -> rule5) OR ((triple1 triple5) -> rule1) OR ((((triple3) -> rule8)) -> rule5) OR ((((triple7 triple1) -> rule7)) -> rule6) OR ((triple1 ((triple3) -> rule8)) -> rule1) OR ((((((triple7 triple1) -> rule7)) -> rule8)) -> rule5) OR ((triple1 ((((triple7 triple1) -> rule7)) -> rule8)) -> rule1))] Charlie is round.[(triple5 OR ((triple3) -> rule8) OR ((((triple7 triple1) -> rule7)) -> rule8) OR ((((triple7 ((triple6 triple4) -> rule2)) -> rule7)) -> rule8) OR ((((((triple4) -> rule4) triple1) -> rule7)) -> rule8) OR ((((((triple4) -> rule4) ((triple6 triple4) -> rule2)) -> rule7)) -> rule8) OR ((((triple7 ((((triple2) -> rule3) triple4) -> rule2)) -> rule7)) -> rule8) OR ((((((triple4) -> rule4) ((((triple2) -> rule3) triple4) -> rule2)) -> rule7)) -> rule8))] Charlie is smart.[(triple6 OR ((triple2) -> rule3))] Charlie is young.[(triple7 OR ((triple4) -> rule4) OR ((((triple3) -> rule6)) -> rule4) OR ((((triple5) -> rule5)) -> rule4) OR ((((triple1 triple5) -> rule1)) -> rule4) OR ((((((triple3) -> rule8)) -> rule5)) -> rule4) OR ((((triple1 ((triple3) -> rule8)) -> rule1)) -> rule4))] Gary is big.[(triple8 OR ((triple12 triple11) -> rule2) OR ((triple12 ((triple10) -> rule6)) -> rule2) OR ((((triple9) -> rule3) triple11) -> rule2) OR ((((triple9) -> rule3) ((triple10) -> rule6)) -> rule2) OR ((triple12 ((((triple10) -> rule8)) -> rule5)) -> rule2) OR ((((triple9) -> rule3) ((((triple10) -> rule8)) -> rule5)) -> rule2))] Gary is kind.[(triple9)] Gary is nice.[(triple10 OR ((((triple11) -> rule4) triple8) -> rule7) OR ((((triple11) -> rule4) ((triple12 triple11) -> rule2)) -> rule7) OR ((((triple11) -> rule4) ((((triple9) -> rule3) triple11) -> rule2)) -> rule7))] Gary is quiet.[(triple11 OR ((triple10) -> rule6) OR ((((triple10) -> rule8)) -> rule5) OR ((triple8 ((triple10) -> rule8)) -> rule1))] Gary is smart.[(triple12 OR ((triple9) -> rule3))] @1: Gary is round.[(((triple10) -> rule8) OR ((((((triple11) -> rule4) triple8) -> rule7)) -> rule8) OR ((((((triple11) -> rule4) ((triple12 triple11) -> rule2)) -> rule7)) -> rule8) OR ((((((triple11) -> rule4) ((((triple9) -> rule3) triple11) -> rule2)) -> rule7)) -> rule8))] Gary is young.[(((triple11) -> rule4) OR ((((triple10) -> rule6)) -> rule4) OR ((((((triple10) -> rule8)) -> rule5)) -> rule4) OR ((((triple8 ((triple10) -> rule8)) -> rule1)) -> rule4))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
((triple6 triple4) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple6 ((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((triple6 ((triple5) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple2) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple2) -> (rule3 % int3)) ((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((triple2) -> (rule3 % int3)) ((triple5) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((triple6 ((((triple3) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple2) -> (rule3 % int4)) ((((triple3) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
((triple7 triple1) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple7 ((triple6 triple4) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple4) -> (rule4 % int2)) triple1) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple4) -> (rule4 % int3)) ((triple6 triple4) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((triple7 ((triple6 ((triple5) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((triple7 ((((triple2) -> (rule3 % int3)) triple4) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple5) -> (rule5 % int3))) -> (rule4 % int2)) triple1) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((triple1 triple5) -> (rule1 % int3))) -> (rule4 % int2)) triple1) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((triple7 ((((triple2) -> (rule3 % int4)) ((triple5) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((triple4) -> (rule4 % int4)) ((triple6 ((triple5) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple4) -> (rule4 % int4)) ((((triple2) -> (rule3 % int3)) triple4) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple5) -> (rule5 % int4))) -> (rule4 % int3)) ((triple6 triple4) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((((triple1 triple5) -> (rule1 % int4))) -> (rule4 % int3)) ((triple6 triple4) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((triple4) -> (rule4 % int5)) ((((triple2) -> (rule3 % int4)) ((triple5) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
((((((triple5) -> (rule5 % int4))) -> (rule4 % int3)) ((triple6 ((triple5) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((((triple5) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple2) -> (rule3 % int3)) triple4) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((((triple1 triple5) -> (rule1 % int4))) -> (rule4 % int3)) ((triple6 ((triple5) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((((triple1 triple5) -> (rule1 % int5))) -> (rule4 % int4)) ((((triple2) -> (rule3 % int3)) triple4) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((((triple5) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple2) -> (rule3 % int3)) ((triple5) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((((triple1 triple5) -> (rule1 % int5))) -> (rule4 % int4)) ((((triple2) -> (rule3 % int3)) ((triple5) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
((triple3) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((triple5) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((triple1 triple5) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((((triple3) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple7 triple1) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((triple1 ((triple3) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((((triple7 triple1) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((triple1 ((((triple7 triple1) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
triple5
((triple3) -> (rule8 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((((triple7 triple1) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple7 ((triple6 triple4) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple4) -> (rule4 % int3)) triple1) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((((triple4) -> (rule4 % int4)) ((triple6 triple4) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple7 ((((triple2) -> (rule3 % int4)) triple4) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple4) -> (rule4 % int5)) ((((triple2) -> (rule3 % int4)) triple4) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
Charlie is smart.
("Charlie" "is" "smart" "+")
triple6
((triple2) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
triple7
((triple4) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((triple3) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple5) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple1 triple5) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((((triple3) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple1 ((triple3) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
triple8
((triple12 triple11) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple12 ((triple10) -> (rule6 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple9) -> (rule3 % int2)) triple11) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple9) -> (rule3 % int3)) ((triple10) -> (rule6 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((triple12 ((((triple10) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple9) -> (rule3 % int4)) ((((triple10) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple10
((((triple11) -> (rule4 % int2)) triple8) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((triple11) -> (rule4 % int3)) ((triple12 triple11) -> (rule2 % int2))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((triple11) -> (rule4 % int4)) ((((triple9) -> (rule3 % int3)) triple11) -> (rule2 % int2))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
triple11
((triple10) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((((triple10) -> (rule8 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((triple8 ((triple10) -> (rule8 % int2))) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
triple12
((triple9) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple10) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((((((triple11) -> (rule4 % int3)) triple8) -> (rule7 % int2))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((((triple11) -> (rule4 % int4)) ((triple12 triple11) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((((triple11) -> (rule4 % int5)) ((((triple9) -> (rule3 % int4)) triple11) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
((triple11) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((triple10) -> (rule6 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((((triple10) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple8 ((triple10) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3