Charlie is blue. Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is smart. Charlie is young. Erin is nice. Erin is rough. Erin is smart. Gary is blue. Gary is furry. Gary is nice. Gary is quiet. Gary is rough. Gary is smart. Gary is young. Quiet things are nice. All young things are nice. If something is quiet then it is young. If something is nice then it is quiet. Blue, young things are furry. If something is young then it is blue. Nice things are rough. All furry, rough things are young.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
Quiet things are nice.
((("something" "is" "quiet" "+")) -> ("something" "is" "nice" "+"))
All young things are nice.
((("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
If something is quiet then it is young.
((("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
If something is nice then it is quiet.
((("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
Blue, young things are furry.
((("something" "is" "blue" "+") ("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
If something is young then it is blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
Nice things are rough.
((("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
All furry, rough things are young.
((("something" "is" "furry" "+") ("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
Charlie is quiet.
True
1
proof
[(triple4 OR ((triple3) -> rule4) OR ((((triple6) -> rule2)) -> rule4))]
("Charlie" "is" "quiet" "+")
triple4
((triple3) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((((triple6) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Gary is not young.
False
1
inv-proof
[(triple16 OR ((triple13) -> rule3) OR ((triple11 triple14) -> rule8) OR ((((triple12) -> rule4)) -> rule3) OR ((triple11 ((triple12) -> rule7)) -> rule8) OR ((triple11 ((((triple13) -> rule1)) -> rule7)) -> rule8))]
("Gary" "is" "young" "-")
triple16
((triple13) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple11 triple14) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((triple12) -> (rule4 % int2))) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((triple11 ((triple12) -> (rule7 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((triple11 ((((triple13) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Charlie is rough.
True
2
proof
[(((triple3) -> rule7) OR ((((triple4) -> rule1)) -> rule7) OR ((((triple6) -> rule2)) -> rule7) OR ((((((triple4) -> rule3)) -> rule2)) -> rule7))]
("Charlie" "is" "rough" "+")
((triple3) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple4) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple6) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((((triple4) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is not rough.
False
2
inv-proof
[(((triple3) -> rule7) OR ((((triple4) -> rule1)) -> rule7) OR ((((triple6) -> rule2)) -> rule7) OR ((((((triple4) -> rule3)) -> rule2)) -> rule7))]
("Charlie" "is" "rough" "-")
((triple3) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple4) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple6) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((((triple4) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Erin is young.
True
3
proof
[(((((triple7) -> rule4)) -> rule3))]
("Erin" "is" "young" "+")
((((triple7) -> (rule4 % int2))) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is not young.
False
3
inv-proof
[(((((triple7) -> rule4)) -> rule3))]
("Erin" "is" "young" "-")
((((triple7) -> (rule4 % int2))) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is blue.
True
4
proof
[(((((((triple7) -> rule4)) -> rule3)) -> rule6))]
("Erin" "is" "blue" "+")
((((((triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is not blue.
False
4
inv-proof
[(((((((triple7) -> rule4)) -> rule3)) -> rule6))]
("Erin" "is" "blue" "-")
((((((triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
@0: Charlie is blue.[(triple1 OR ((triple6) -> rule6) OR ((((triple4) -> rule3)) -> rule6) OR ((((((triple3) -> rule4)) -> rule3)) -> rule6) OR ((((triple2 ((triple3) -> rule7)) -> rule8)) -> rule6) OR ((((triple2 ((((triple4) -> rule1)) -> rule7)) -> rule8)) -> rule6))] Charlie is furry.[(triple2 OR ((triple1 triple6) -> rule5) OR ((triple1 ((triple4) -> rule3)) -> rule5) OR ((((triple6) -> rule6) triple6) -> rule5) OR ((((triple6) -> rule6) ((triple4) -> rule3)) -> rule5) OR ((triple1 ((((triple3) -> rule4)) -> rule3)) -> rule5) OR ((((((triple4) -> rule3)) -> rule6) triple6) -> rule5) OR ((((triple6) -> rule6) ((((triple3) -> rule4)) -> rule3)) -> rule5) OR ((((((triple4) -> rule3)) -> rule6) ((triple4) -> rule3)) -> rule5) OR ((((((triple4) -> rule3)) -> rule6) ((((triple3) -> rule4)) -> rule3)) -> rule5) OR ((((((((triple3) -> rule4)) -> rule3)) -> rule6) triple6) -> rule5) OR ((((((((triple3) -> rule4)) -> rule3)) -> rule6) ((triple4) -> rule3)) -> rule5) OR ((((((((triple3) -> rule4)) -> rule3)) -> rule6) ((((triple3) -> rule4)) -> rule3)) -> rule5))] Charlie is nice.[(triple3 OR ((triple4) -> rule1) OR ((triple6) -> rule2) OR ((((triple4) -> rule3)) -> rule2))] Charlie is quiet.[(triple4 OR ((triple3) -> rule4) OR ((((triple6) -> rule2)) -> rule4))] Charlie is smart.[(triple5)] Charlie is young.[(triple6 OR ((triple4) -> rule3) OR ((((triple3) -> rule4)) -> rule3) OR ((triple2 ((triple3) -> rule7)) -> rule8) OR ((triple2 ((((triple4) -> rule1)) -> rule7)) -> rule8))] Erin is nice.[(triple7)] Erin is rough.[(triple8 OR ((triple7) -> rule7))] Erin is smart.[(triple9)] Gary is blue.[(triple10 OR ((triple16) -> rule6) OR ((((triple13) -> rule3)) -> rule6) OR ((((triple11 triple14) -> rule8)) -> rule6) OR ((((((triple12) -> rule4)) -> rule3)) -> rule6) OR ((((triple11 ((triple12) -> rule7)) -> rule8)) -> rule6) OR ((((triple11 ((((triple13) -> rule1)) -> rule7)) -> rule8)) -> rule6))] Gary is furry.[(triple11 OR ((triple10 triple16) -> rule5) OR ((triple10 ((triple13) -> rule3)) -> rule5) OR ((((triple16) -> rule6) triple16) -> rule5) OR ((((triple16) -> rule6) ((triple13) -> rule3)) -> rule5) OR ((triple10 ((((triple12) -> rule4)) -> rule3)) -> rule5) OR ((((((triple13) -> rule3)) -> rule6) triple16) -> rule5) OR ((((triple16) -> rule6) ((((triple12) -> rule4)) -> rule3)) -> rule5) OR ((((((triple13) -> rule3)) -> rule6) ((triple13) -> rule3)) -> rule5) OR ((((((triple13) -> rule3)) -> rule6) ((((triple12) -> rule4)) -> rule3)) -> rule5) OR ((((((((triple12) -> rule4)) -> rule3)) -> rule6) triple16) -> rule5) OR ((((((((triple12) -> rule4)) -> rule3)) -> rule6) ((triple13) -> rule3)) -> rule5) OR ((((((((triple12) -> rule4)) -> rule3)) -> rule6) ((((triple12) -> rule4)) -> rule3)) -> rule5))] Gary is nice.[(triple12 OR ((triple13) -> rule1) OR ((triple16) -> rule2) OR ((((triple13) -> rule3)) -> rule2) OR ((((triple11 triple14) -> rule8)) -> rule2))] Gary is quiet.[(triple13 OR ((triple12) -> rule4) OR ((((triple16) -> rule2)) -> rule4) OR ((((((triple11 triple14) -> rule8)) -> rule2)) -> rule4))] Gary is rough.[(triple14 OR ((triple12) -> rule7) OR ((((triple13) -> rule1)) -> rule7) OR ((((triple16) -> rule2)) -> rule7) OR ((((((triple13) -> rule3)) -> rule2)) -> rule7))] Gary is smart.[(triple15)] Gary is young.[(triple16 OR ((triple13) -> rule3) OR ((triple11 triple14) -> rule8) OR ((((triple12) -> rule4)) -> rule3) OR ((triple11 ((triple12) -> rule7)) -> rule8) OR ((triple11 ((((triple13) -> rule1)) -> rule7)) -> rule8))] @1: Charlie is rough.[(((triple3) -> rule7) OR ((((triple4) -> rule1)) -> rule7) OR ((((triple6) -> rule2)) -> rule7) OR ((((((triple4) -> rule3)) -> rule2)) -> rule7))] Erin is quiet.[(((triple7) -> rule4))] @2: Erin is young.[(((((triple7) -> rule4)) -> rule3))] @3: Erin is blue.[(((((((triple7) -> rule4)) -> rule3)) -> rule6))] @4: Erin is furry.[(((((((((triple7) -> rule4)) -> rule3)) -> rule6) ((((triple7) -> rule4)) -> rule3)) -> rule5))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
((triple6) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((((triple4) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((triple2 ((triple3) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((triple2 ((((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
((triple1 triple6) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((triple1 ((triple4) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple6) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple6) -> (rule6 % int3)) ((triple4) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((triple1 ((((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((triple4) -> (rule3 % int3))) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((triple6) -> (rule6 % int4)) ((((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple4) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4) -> (rule3 % int3))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((((triple4) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple3) -> (rule4 % int2))) -> (rule3 % int4))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((((triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((((((triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4) -> (rule3 % int3))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((((((triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
((triple4) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple6) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((((triple4) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
((triple3) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((((triple6) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple6
((triple4) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((triple3) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((triple2 ((triple3) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((triple2 ((((triple4) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
triple7
Erin is rough.
("Erin" "is" "rough" "+")
triple8
((triple7) -> (rule7 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
triple9
Gary is blue.
("Gary" "is" "blue" "+")
triple10
((triple16) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((triple13) -> (rule3 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((triple11 triple14) -> (rule8 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((((triple12) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((triple11 ((triple12) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((triple11 ((((triple13) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
triple11
((triple10 triple16) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple10 ((triple13) -> (rule3 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((triple16) -> (rule6 % int2)) triple16) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((((triple16) -> (rule6 % int3)) ((triple13) -> (rule3 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((triple10 ((((triple12) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((((triple13) -> (rule3 % int3))) -> (rule6 % int2)) triple16) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((triple16) -> (rule6 % int4)) ((((triple12) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((((triple13) -> (rule3 % int3))) -> (rule6 % int2)) ((triple13) -> (rule3 % int3))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((((triple13) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple12) -> (rule4 % int2))) -> (rule3 % int4))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((((((triple12) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) triple16) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((((triple12) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((triple13) -> (rule3 % int3))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((((triple12) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple12) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
triple12
((triple13) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((triple16) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((((triple13) -> (rule3 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((triple11 triple14) -> (rule8 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple13
((triple12) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((((triple16) -> (rule2 % int2))) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((((triple11 triple14) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
triple14
((triple12) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((((triple13) -> (rule1 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple16) -> (rule2 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((((triple13) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
((triple13) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple11 triple14) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((triple12) -> (rule4 % int2))) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((triple11 ((triple12) -> (rule7 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((triple11 ((((triple13) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple3) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple4) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple6) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((((triple4) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple7) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((((triple7) -> (rule4 % int2))) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
((((((triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
((((((((triple7) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple7) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4