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