Anne is big. Anne is blue. Anne is nice. Charlie is big. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is white. Erin is white. Harry is blue. Harry is green. Harry is quiet. Harry is rough. All green, blue people are white. If someone is white then they are quiet. Big people are rough. Quiet people are green. If someone is rough and white then they are blue. Green people are big. White people are nice. All blue, white people are rough. If someone is blue then they are quiet.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is white.
("Erin" "is" "white" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
All green, blue people are white.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "white" "+"))
If someone is white then they are quiet.
((("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
Big people are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Quiet people are green.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and white then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
Green people are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
White people are nice.
((("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
All blue, white people are rough.
((("someone" "is" "blue" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue then they are quiet.
((("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "+"))
Harry is rough.
True
1
proof
[(triple14 OR ((((triple12) -> rule6)) -> rule3) OR ((triple11 ((triple12 triple11) -> rule1)) -> rule8) OR ((((((triple13) -> rule4)) -> rule6)) -> rule3) OR ((triple11 ((((triple13) -> rule4) triple11) -> rule1)) -> rule8) OR ((((((((triple11) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((triple11 ((((((triple11) -> rule9)) -> rule4) triple11) -> rule1)) -> rule8))]
("Harry" "is" "rough" "+")
triple14
((((triple12) -> (rule6 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((triple11 ((triple12 triple11) -> (rule1 % int2))) -> (rule8 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((((triple13) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((triple11 ((((triple13) -> (rule4 % int3)) triple11) -> (rule1 % int2))) -> (rule8 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((((((triple11) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((triple11 ((((((triple11) -> (rule9 % int4))) -> (rule4 % int3)) triple11) -> (rule1 % int2))) -> (rule8 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Charlie is not rough.
False
1
inv-proof
[(triple8 OR ((triple4) -> rule3) OR ((((triple5) -> rule6)) -> rule3) OR ((((((triple7) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple9) -> rule2)) -> rule4)) -> rule6)) -> rule3))]
("Charlie" "is" "rough" "-")
triple8
((triple4) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple5) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((((triple7) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((((((triple9) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Anne is rough.
True
2
proof
[(((triple1) -> rule3) OR ((((((((triple2) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((triple2 ((((((triple2) -> rule9)) -> rule4) triple2) -> rule1)) -> rule8))]
("Anne" "is" "rough" "+")
((triple1) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((((((triple2) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((triple2 ((((((triple2) -> (rule9 % int4))) -> (rule4 % int3)) triple2) -> (rule1 % int2))) -> (rule8 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Erin is not nice.
False
2
inv-proof
[(((triple10) -> rule7))]
("Erin" "is" "nice" "-")
((triple10) -> (rule7 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Anne is green.
True
3
proof
[(((((triple2) -> rule9)) -> rule4))]
("Anne" "is" "green" "+")
((((triple2) -> (rule9 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is not green.
False
3
inv-proof
[(((((triple2) -> rule9)) -> rule4))]
("Anne" "is" "green" "-")
((((triple2) -> (rule9 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is white.
True
5
proof
[(((((((triple2) -> rule9)) -> rule4) triple2) -> rule1))]
("Anne" "is" "white" "+")
((((((triple2) -> (rule9 % int3))) -> (rule4 % int2)) triple2) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Erin is not big.
False
4
inv-proof
[(((((((triple10) -> rule2)) -> rule4)) -> rule6))]
("Erin" "is" "big" "-")
((((((triple10) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is rough.
True
5
proof
[(((((((((triple10) -> rule2)) -> rule4)) -> rule6)) -> rule3))]
("Erin" "is" "rough" "+")
((((((((triple10) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is not rough.
False
5
inv-proof
[(((((((((triple10) -> rule2)) -> rule4)) -> rule6)) -> rule3))]
("Erin" "is" "rough" "-")
((((((((triple10) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is blue.
True
7
proof
[(((((((((((triple10) -> rule2)) -> rule4)) -> rule6)) -> rule3) triple10) -> rule5))]
("Erin" "is" "blue" "+")
((((((((((triple10) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) triple10) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is not blue.
False
7
inv-proof
[(((((((((((triple10) -> rule2)) -> rule4)) -> rule6)) -> rule3) triple10) -> rule5))]
("Erin" "is" "blue" "-")
((((((((((triple10) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) triple10) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
@0: Anne is big.[(triple1 OR ((((((triple2) -> rule9)) -> rule4)) -> rule6))] Anne is blue.[(triple2)] Anne is nice.[(triple3 OR ((((((((triple2) -> rule9)) -> rule4) triple2) -> rule1)) -> rule7))] Charlie is big.[(triple4 OR ((triple5) -> rule6) OR ((((triple7) -> rule4)) -> rule6) OR ((((((triple9) -> rule2)) -> rule4)) -> rule6) OR ((((((((triple8 triple9) -> rule5)) -> rule9)) -> rule4)) -> rule6))] Charlie is green.[(triple5 OR ((triple7) -> rule4) OR ((((triple9) -> rule2)) -> rule4) OR ((((((triple8 triple9) -> rule5)) -> rule9)) -> rule4) OR ((((((((triple4) -> rule3) triple9) -> rule5)) -> rule9)) -> rule4))] Charlie is nice.[(triple6 OR ((triple9) -> rule7))] Charlie is quiet.[(triple7 OR ((triple9) -> rule2) OR ((((triple8 triple9) -> rule5)) -> rule9) OR ((((((triple4) -> rule3) triple9) -> rule5)) -> rule9) OR ((((((((triple5) -> rule6)) -> rule3) triple9) -> rule5)) -> rule9))] Charlie is rough.[(triple8 OR ((triple4) -> rule3) OR ((((triple5) -> rule6)) -> rule3) OR ((((((triple7) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple9) -> rule2)) -> rule4)) -> rule6)) -> rule3))] Charlie is white.[(triple9)] Erin is white.[(triple10)] Harry is blue.[(triple11)] Harry is green.[(triple12 OR ((triple13) -> rule4) OR ((((triple11) -> rule9)) -> rule4))] Harry is quiet.[(triple13 OR ((triple11) -> rule9) OR ((((triple12 triple11) -> rule1)) -> rule2))] Harry is rough.[(triple14 OR ((((triple12) -> rule6)) -> rule3) OR ((triple11 ((triple12 triple11) -> rule1)) -> rule8) OR ((((((triple13) -> rule4)) -> rule6)) -> rule3) OR ((triple11 ((((triple13) -> rule4) triple11) -> rule1)) -> rule8) OR ((((((((triple11) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((triple11 ((((((triple11) -> rule9)) -> rule4) triple11) -> rule1)) -> rule8))] @1: Anne is quiet.[(((triple2) -> rule9))] Anne is rough.[(((triple1) -> rule3) OR ((((((((triple2) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((triple2 ((((((triple2) -> rule9)) -> rule4) triple2) -> rule1)) -> rule8))] Charlie is blue.[(((triple8 triple9) -> rule5) OR ((((triple4) -> rule3) triple9) -> rule5) OR ((((((triple5) -> rule6)) -> rule3) triple9) -> rule5) OR ((((((((triple7) -> rule4)) -> rule6)) -> rule3) triple9) -> rule5) OR ((((((((((triple9) -> rule2)) -> rule4)) -> rule6)) -> rule3) triple9) -> rule5))] Erin is nice.[(((triple10) -> rule7))] Erin is quiet.[(((triple10) -> rule2))] Harry is big.[(((triple12) -> rule6) OR ((((triple13) -> rule4)) -> rule6) OR ((((((triple11) -> rule9)) -> rule4)) -> rule6))] Harry is white.[(((triple12 triple11) -> rule1) OR ((((triple13) -> rule4) triple11) -> rule1) OR ((((((triple11) -> rule9)) -> rule4) triple11) -> rule1))] @2: Anne is green.[(((((triple2) -> rule9)) -> rule4))] Erin is green.[(((((triple10) -> rule2)) -> rule4))] Harry is nice.[(((((triple12 triple11) -> rule1)) -> rule7) OR ((((((triple13) -> rule4) triple11) -> rule1)) -> rule7) OR ((((((((triple11) -> rule9)) -> rule4) triple11) -> rule1)) -> rule7))] @3: Anne is white.[(((((((triple2) -> rule9)) -> rule4) triple2) -> rule1))] Erin is big.[(((((((triple10) -> rule2)) -> rule4)) -> rule6))] @4: Erin is rough.[(((((((((triple10) -> rule2)) -> rule4)) -> rule6)) -> rule3))] @5: Erin is blue.[(((((((((((triple10) -> rule2)) -> rule4)) -> rule6)) -> rule3) triple10) -> rule5))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((((((triple2) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
((((((((triple2) -> (rule9 % int4))) -> (rule4 % int3)) triple2) -> (rule1 % int2))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
triple4
((triple5) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((triple7) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((((((triple9) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((((triple8 triple9) -> (rule5 % int4))) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
triple5
((triple7) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((((triple9) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((((triple8 triple9) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((((triple4) -> (rule3 % int4)) triple9) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple6
((triple9) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple7
((triple9) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((((triple8 triple9) -> (rule5 % int2))) -> (rule9 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((((triple4) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule9 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((((triple5) -> (rule6 % int4))) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule9 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple8
((triple4) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple5) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((((triple7) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((((((triple9) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
triple9
Erin is white.
("Erin" "is" "white" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple12
((triple13) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((((triple11) -> (rule9 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
triple13
((triple11) -> (rule9 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((((triple12 triple11) -> (rule1 % int2))) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
triple14
((((triple12) -> (rule6 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((triple11 ((triple12 triple11) -> (rule1 % int2))) -> (rule8 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((((triple13) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((triple11 ((((triple13) -> (rule4 % int3)) triple11) -> (rule1 % int2))) -> (rule8 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((((((triple11) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((triple11 ((((((triple11) -> (rule9 % int4))) -> (rule4 % int3)) triple11) -> (rule1 % int2))) -> (rule8 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple2) -> (rule9 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
((triple1) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((((((triple2) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((triple2 ((((((triple2) -> (rule9 % int4))) -> (rule4 % int3)) triple2) -> (rule1 % int2))) -> (rule8 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple8 triple9) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((((triple4) -> (rule3 % int2)) triple9) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((((triple5) -> (rule6 % int3))) -> (rule3 % int2)) triple9) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((((triple7) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) triple9) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((((((((triple9) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) triple9) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
Erin is nice.
("Erin" "is" "nice" "+")
((triple10) -> (rule7 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple10) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple12) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((triple13) -> (rule4 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((((triple11) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
((triple12 triple11) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((((triple13) -> (rule4 % int2)) triple11) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((((triple11) -> (rule9 % int3))) -> (rule4 % int2)) triple11) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
((((triple2) -> (rule9 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
((((triple10) -> (rule2 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((((triple12 triple11) -> (rule1 % int2))) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((((triple13) -> (rule4 % int3)) triple11) -> (rule1 % int2))) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((((((triple11) -> (rule9 % int4))) -> (rule4 % int3)) triple11) -> (rule1 % int2))) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
((((((triple2) -> (rule9 % int3))) -> (rule4 % int2)) triple2) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
((((((triple10) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
((((((((triple10) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
((((((((((triple10) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) triple10) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5