Charlie is kind. Charlie is red. Charlie is young. Dave is big. Dave is blue. Dave is red. Dave is young. Erin is big. Erin is kind. Erin is quiet. Erin is red. Erin is young. Gary is blue. Gary is young. If someone is quiet and young then they are kind. Young, red people are big. If someone is kind and red then they are young. All kind, young people are round. Big people are quiet. Blue people are red. If Charlie is young and Charlie is big then Charlie is round.
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is quiet and young then they are kind.
((("someone" "is" "quiet" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
Young, red people are big.
((("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and red then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
All kind, young people are round.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Big people are quiet.
((("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "+"))
Blue people are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If Charlie is young and Charlie is big then Charlie is round.
((("Charlie" "is" "young" "+") ("Charlie" "is" "big" "+")) -> ("Charlie" "is" "round" "+"))
Dave is young.
True
1
proof
[(triple7)]
("Dave" "is" "young" "+")
triple7
Erin is not quiet.
False
1
inv-proof
[(triple10 OR ((triple8) -> rule5) OR ((((triple12 triple11) -> rule2)) -> rule5) OR ((((((triple9 triple11) -> rule3) triple11) -> rule2)) -> rule5))]
("Erin" "is" "quiet" "-")
triple10
((triple8) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((((triple12 triple11) -> (rule2 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((((triple9 triple11) -> (rule3 % int3)) triple11) -> (rule2 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Charlie is round.
True
3
proof
[(((triple1 triple3) -> rule4) OR ((triple1 ((triple1 triple2) -> rule3)) -> rule4) OR ((triple3 ((triple3 triple2) -> rule2)) -> rule7) OR ((((triple1 triple2) -> rule3) ((triple3 triple2) -> rule2)) -> rule7) OR ((triple3 ((((triple1 triple2) -> rule3) triple2) -> rule2)) -> rule7) OR ((((triple1 triple2) -> rule3) ((((triple1 triple2) -> rule3) triple2) -> rule2)) -> rule7) OR ((((((((triple3 triple2) -> rule2)) -> rule5) triple3) -> rule1) triple3) -> rule4) OR ((((((((triple3 triple2) -> rule2)) -> rule5) triple3) -> rule1) ((triple1 triple2) -> rule3)) -> rule4))]
("Charlie" "is" "round" "+")
((triple1 triple3) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((triple1 ((triple1 triple2) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((triple3 ((triple3 triple2) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple1 triple2) -> (rule3 % int3)) ((triple3 triple2) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((triple3 ((((triple1 triple2) -> (rule3 % int3)) triple2) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((triple1 triple2) -> (rule3 % int3)) ((((triple1 triple2) -> (rule3 % int3)) triple2) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((((((triple3 triple2) -> (rule2 % int4))) -> (rule5 % int3)) triple3) -> (rule1 % int2)) triple3) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple3 triple2) -> (rule2 % int5))) -> (rule5 % int4)) triple3) -> (rule1 % int3)) ((triple1 triple2) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Erin is not round.
False
3
inv-proof
[(((triple9 triple12) -> rule4) OR ((triple9 ((triple9 triple11) -> rule3)) -> rule4) OR ((((triple10 triple12) -> rule1) triple12) -> rule4) OR ((((triple10 triple12) -> rule1) ((triple9 triple11) -> rule3)) -> rule4) OR ((((((triple8) -> rule5) triple12) -> rule1) triple12) -> rule4) OR ((((((triple8) -> rule5) triple12) -> rule1) ((triple9 triple11) -> rule3)) -> rule4) OR ((((((((triple12 triple11) -> rule2)) -> rule5) triple12) -> rule1) triple12) -> rule4) OR ((((((((triple12 triple11) -> rule2)) -> rule5) triple12) -> rule1) ((triple9 triple11) -> rule3)) -> rule4))]
("Erin" "is" "round" "-")
((triple9 triple12) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple9 ((triple9 triple11) -> (rule3 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple10 triple12) -> (rule1 % int2)) triple12) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((triple10 triple12) -> (rule1 % int3)) ((triple9 triple11) -> (rule3 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((((triple8) -> (rule5 % int3)) triple12) -> (rule1 % int2)) triple12) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((((triple8) -> (rule5 % int4)) triple12) -> (rule1 % int3)) ((triple9 triple11) -> (rule3 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((((triple12 triple11) -> (rule2 % int4))) -> (rule5 % int3)) triple12) -> (rule1 % int2)) triple12) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple12 triple11) -> (rule2 % int5))) -> (rule5 % int4)) triple12) -> (rule1 % int3)) ((triple9 triple11) -> (rule3 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Gary is big.
True
4
proof
[(((triple14 ((triple13) -> rule6)) -> rule2))]
("Gary" "is" "big" "+")
((triple14 ((triple13) -> (rule6 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is not big.
False
4
inv-proof
[(((triple14 ((triple13) -> rule6)) -> rule2))]
("Gary" "is" "big" "-")
((triple14 ((triple13) -> (rule6 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Dave is round.
True
6
proof
[(((((((triple4) -> rule5) triple7) -> rule1) triple7) -> rule4) OR ((((((((triple7 triple6) -> rule2)) -> rule5) triple7) -> rule1) triple7) -> rule4) OR ((((((((triple7 ((triple5) -> rule6)) -> rule2)) -> rule5) triple7) -> rule1) triple7) -> rule4))]
("Dave" "is" "round" "+")
((((((triple4) -> (rule5 % int3)) triple7) -> (rule1 % int2)) triple7) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((((((triple7 triple6) -> (rule2 % int4))) -> (rule5 % int3)) triple7) -> (rule1 % int2)) triple7) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((((triple7 ((triple5) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule5 % int3)) triple7) -> (rule1 % int2)) triple7) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Gary is not quiet.
False
5
inv-proof
[(((((triple14 ((triple13) -> rule6)) -> rule2)) -> rule5))]
("Gary" "is" "quiet" "-")
((((triple14 ((triple13) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is kind.
True
7
proof
[(((((((triple14 ((triple13) -> rule6)) -> rule2)) -> rule5) triple14) -> rule1))]
("Gary" "is" "kind" "+")
((((((triple14 ((triple13) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int2)) triple14) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is not kind.
False
7
inv-proof
[(((((((triple14 ((triple13) -> rule6)) -> rule2)) -> rule5) triple14) -> rule1))]
("Gary" "is" "kind" "-")
((((((triple14 ((triple13) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int2)) triple14) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is round.
True
9
proof
[(((((((((triple14 ((triple13) -> rule6)) -> rule2)) -> rule5) triple14) -> rule1) triple14) -> rule4))]
("Gary" "is" "round" "+")
((((((((triple14 ((triple13) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule5 % int3)) triple14) -> (rule1 % int2)) triple14) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is not round.
False
9
inv-proof
[(((((((((triple14 ((triple13) -> rule6)) -> rule2)) -> rule5) triple14) -> rule1) triple14) -> rule4))]
("Gary" "is" "round" "-")
((((((((triple14 ((triple13) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule5 % int3)) triple14) -> (rule1 % int2)) triple14) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
@0: Charlie is kind.[(triple1 OR ((((((triple3 triple2) -> rule2)) -> rule5) triple3) -> rule1))] Charlie is red.[(triple2)] Charlie is young.[(triple3 OR ((triple1 triple2) -> rule3))] Dave is big.[(triple4 OR ((triple7 triple6) -> rule2) OR ((triple7 ((triple5) -> rule6)) -> rule2))] Dave is blue.[(triple5)] Dave is red.[(triple6 OR ((triple5) -> rule6))] Dave is young.[(triple7)] Erin is big.[(triple8 OR ((triple12 triple11) -> rule2) OR ((((triple9 triple11) -> rule3) triple11) -> rule2))] Erin is kind.[(triple9 OR ((triple10 triple12) -> rule1) OR ((((triple8) -> rule5) triple12) -> rule1) OR ((((((triple12 triple11) -> rule2)) -> rule5) triple12) -> rule1))] Erin is quiet.[(triple10 OR ((triple8) -> rule5) OR ((((triple12 triple11) -> rule2)) -> rule5) OR ((((((triple9 triple11) -> rule3) triple11) -> rule2)) -> rule5))] Erin is red.[(triple11)] Erin is young.[(triple12 OR ((triple9 triple11) -> rule3))] Gary is blue.[(triple13)] Gary is young.[(triple14)] @1: Charlie is big.[(((triple3 triple2) -> rule2) OR ((((triple1 triple2) -> rule3) triple2) -> rule2))] Charlie is round.[(((triple1 triple3) -> rule4) OR ((triple1 ((triple1 triple2) -> rule3)) -> rule4) OR ((triple3 ((triple3 triple2) -> rule2)) -> rule7) OR ((((triple1 triple2) -> rule3) ((triple3 triple2) -> rule2)) -> rule7) OR ((triple3 ((((triple1 triple2) -> rule3) triple2) -> rule2)) -> rule7) OR ((((triple1 triple2) -> rule3) ((((triple1 triple2) -> rule3) triple2) -> rule2)) -> rule7) OR ((((((((triple3 triple2) -> rule2)) -> rule5) triple3) -> rule1) triple3) -> rule4) OR ((((((((triple3 triple2) -> rule2)) -> rule5) triple3) -> rule1) ((triple1 triple2) -> rule3)) -> rule4))] Dave is quiet.[(((triple4) -> rule5) OR ((((triple7 triple6) -> rule2)) -> rule5) OR ((((triple7 ((triple5) -> rule6)) -> rule2)) -> rule5))] Erin is round.[(((triple9 triple12) -> rule4) OR ((triple9 ((triple9 triple11) -> rule3)) -> rule4) OR ((((triple10 triple12) -> rule1) triple12) -> rule4) OR ((((triple10 triple12) -> rule1) ((triple9 triple11) -> rule3)) -> rule4) OR ((((((triple8) -> rule5) triple12) -> rule1) triple12) -> rule4) OR ((((((triple8) -> rule5) triple12) -> rule1) ((triple9 triple11) -> rule3)) -> rule4) OR ((((((((triple12 triple11) -> rule2)) -> rule5) triple12) -> rule1) triple12) -> rule4) OR ((((((((triple12 triple11) -> rule2)) -> rule5) triple12) -> rule1) ((triple9 triple11) -> rule3)) -> rule4))] Gary is red.[(((triple13) -> rule6))] @2: Charlie is quiet.[(((((triple3 triple2) -> rule2)) -> rule5) OR ((((((triple1 triple2) -> rule3) triple2) -> rule2)) -> rule5))] Dave is kind.[(((((triple4) -> rule5) triple7) -> rule1) OR ((((((triple7 triple6) -> rule2)) -> rule5) triple7) -> rule1) OR ((((((triple7 ((triple5) -> rule6)) -> rule2)) -> rule5) triple7) -> rule1))] Gary is big.[(((triple14 ((triple13) -> rule6)) -> rule2))] @3: Dave is round.[(((((((triple4) -> rule5) triple7) -> rule1) triple7) -> rule4) OR ((((((((triple7 triple6) -> rule2)) -> rule5) triple7) -> rule1) triple7) -> rule4) OR ((((((((triple7 ((triple5) -> rule6)) -> rule2)) -> rule5) triple7) -> rule1) triple7) -> rule4))] Gary is quiet.[(((((triple14 ((triple13) -> rule6)) -> rule2)) -> rule5))] @4: Gary is kind.[(((((((triple14 ((triple13) -> rule6)) -> rule2)) -> rule5) triple14) -> rule1))] @5: Gary is round.[(((((((((triple14 ((triple13) -> rule6)) -> rule2)) -> rule5) triple14) -> rule1) triple14) -> rule4))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
((((((triple3 triple2) -> (rule2 % int3))) -> (rule5 % int2)) triple3) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple3
((triple1 triple2) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
triple4
((triple7 triple6) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((triple7 ((triple5) -> (rule6 % int2))) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple6
((triple5) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
triple7
Erin is big.
("Erin" "is" "big" "+")
triple8
((triple12 triple11) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((((triple9 triple11) -> (rule3 % int2)) triple11) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
triple9
((triple10 triple12) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((((triple8) -> (rule5 % int2)) triple12) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((((triple12 triple11) -> (rule2 % int3))) -> (rule5 % int2)) triple12) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple10
((triple8) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((((triple12 triple11) -> (rule2 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((((triple9 triple11) -> (rule3 % int3)) triple11) -> (rule2 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
triple11
Erin is young.
("Erin" "is" "young" "+")
triple12
((triple9 triple11) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
triple13
Gary is young.
("Gary" "is" "young" "+")
triple14
Charlie is big.
("Charlie" "is" "big" "+")
((triple3 triple2) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((triple1 triple2) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((triple1 triple3) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((triple1 ((triple1 triple2) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((triple3 ((triple3 triple2) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple1 triple2) -> (rule3 % int3)) ((triple3 triple2) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((triple3 ((((triple1 triple2) -> (rule3 % int3)) triple2) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((triple1 triple2) -> (rule3 % int3)) ((((triple1 triple2) -> (rule3 % int3)) triple2) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((((((triple3 triple2) -> (rule2 % int4))) -> (rule5 % int3)) triple3) -> (rule1 % int2)) triple3) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple3 triple2) -> (rule2 % int5))) -> (rule5 % int4)) triple3) -> (rule1 % int3)) ((triple1 triple2) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple4) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((((triple7 triple6) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((((triple7 ((triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
((triple9 triple12) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple9 ((triple9 triple11) -> (rule3 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple10 triple12) -> (rule1 % int2)) triple12) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((triple10 triple12) -> (rule1 % int3)) ((triple9 triple11) -> (rule3 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((((triple8) -> (rule5 % int3)) triple12) -> (rule1 % int2)) triple12) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((((triple8) -> (rule5 % int4)) triple12) -> (rule1 % int3)) ((triple9 triple11) -> (rule3 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((((triple12 triple11) -> (rule2 % int4))) -> (rule5 % int3)) triple12) -> (rule1 % int2)) triple12) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple12 triple11) -> (rule2 % int5))) -> (rule5 % int4)) triple12) -> (rule1 % int3)) ((triple9 triple11) -> (rule3 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
((triple13) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((((triple3 triple2) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((((triple1 triple2) -> (rule3 % int3)) triple2) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
((((triple4) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((((triple7 triple6) -> (rule2 % int3))) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((((triple7 ((triple5) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
((triple14 ((triple13) -> (rule6 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((((((triple4) -> (rule5 % int3)) triple7) -> (rule1 % int2)) triple7) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((((((triple7 triple6) -> (rule2 % int4))) -> (rule5 % int3)) triple7) -> (rule1 % int2)) triple7) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((((triple7 ((triple5) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule5 % int3)) triple7) -> (rule1 % int2)) triple7) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Gary is quiet.
("Gary" "is" "quiet" "+")
((((triple14 ((triple13) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
((((((triple14 ((triple13) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int2)) triple14) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
((((((((triple14 ((triple13) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule5 % int3)) triple14) -> (rule1 % int2)) triple14) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5