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