Anne is big. Anne is rough. Bob is big. Bob is cold. Bob is smart. Dave is cold. Dave is kind. Dave is rough. Dave is round. Dave is smart. Erin is rough. Erin is white. All kind, round things are white. Kind things are smart. If something is kind then it is rough. All big, rough things are kind. White things are round. If something is cold then it is white. Rough things are big. If something is round then it is rough.
Anne is big.
("Anne" "is" "big" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
All kind, round things are white.
((("something" "is" "kind" "+") ("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
Kind things are smart.
((("something" "is" "kind" "+")) -> ("something" "is" "smart" "+"))
If something is kind then it is rough.
((("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
All big, rough things are kind.
((("something" "is" "big" "+") ("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
White things are round.
((("something" "is" "white" "+")) -> ("something" "is" "round" "+"))
If something is cold then it is white.
((("something" "is" "cold" "+")) -> ("something" "is" "white" "+"))
Rough things are big.
((("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
If something is round then it is rough.
((("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
Bob is smart.
True
1
proof
[(triple5 OR ((((triple3 ((((((triple4) -> rule6)) -> rule5)) -> rule8)) -> rule4)) -> rule2) OR ((((((((((((triple4) -> rule6)) -> rule5)) -> rule8)) -> rule7) ((((((triple4) -> rule6)) -> rule5)) -> rule8)) -> rule4)) -> rule2))]
("Bob" "is" "smart" "+")
triple5
((((triple3 ((((((triple4) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((((((((((triple4) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule7 % int3)) ((((((triple4) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
Dave is not round.
False
1
inv-proof
[(triple9 OR ((((triple6) -> rule6)) -> rule5))]
("Dave" "is" "round" "-")
triple9
((((triple6) -> (rule6 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Anne is not round.
Unknown
inv-rconc
[@2: Anne is round.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Anne" "is" "round" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is big.[(triple1 OR ((triple2) -> rule7))] Anne is rough.[(triple2)] Bob is big.[(triple3 OR ((((((((triple4) -> rule6)) -> rule5)) -> rule8)) -> rule7))] Bob is cold.[(triple4)] Bob is smart.[(triple5 OR ((((triple3 ((((((triple4) -> rule6)) -> rule5)) -> rule8)) -> rule4)) -> rule2) OR ((((((((((((triple4) -> rule6)) -> rule5)) -> rule8)) -> rule7) ((((((triple4) -> rule6)) -> rule5)) -> rule8)) -> rule4)) -> rule2))] Dave is cold.[(triple6)] Dave is kind.[(triple7 OR ((((triple8) -> rule7) triple8) -> rule4) OR ((((triple8) -> rule7) ((triple9) -> rule8)) -> rule4) OR ((((((triple9) -> rule8)) -> rule7) triple8) -> rule4) OR ((((((triple9) -> rule8)) -> rule7) ((triple9) -> rule8)) -> rule4) OR ((((triple8) -> rule7) ((((((triple6) -> rule6)) -> rule5)) -> rule8)) -> rule4) OR ((((((triple9) -> rule8)) -> rule7) ((((((triple6) -> rule6)) -> rule5)) -> rule8)) -> rule4) OR ((((((((((triple6) -> rule6)) -> rule5)) -> rule8)) -> rule7) triple8) -> rule4) OR ((((((((((triple6) -> rule6)) -> rule5)) -> rule8)) -> rule7) ((triple9) -> rule8)) -> rule4) OR ((((((((((triple6) -> rule6)) -> rule5)) -> rule8)) -> rule7) ((((((triple6) -> rule6)) -> rule5)) -> rule8)) -> rule4))] Dave is rough.[(triple8 OR ((triple7) -> rule3) OR ((triple9) -> rule8) OR ((((((triple6) -> rule6)) -> rule5)) -> rule8))] Dave is round.[(triple9 OR ((((triple6) -> rule6)) -> rule5))] Dave is smart.[(triple10 OR ((triple7) -> rule2) OR ((((((triple8) -> rule7) triple8) -> rule4)) -> rule2) OR ((((((triple8) -> rule7) ((triple9) -> rule8)) -> rule4)) -> rule2) OR ((((((((triple9) -> rule8)) -> rule7) triple8) -> rule4)) -> rule2) OR ((((((((triple9) -> rule8)) -> rule7) ((triple9) -> rule8)) -> rule4)) -> rule2) OR ((((((triple8) -> rule7) ((((((triple6) -> rule6)) -> rule5)) -> rule8)) -> rule4)) -> rule2) OR ((((((((triple9) -> rule8)) -> rule7) ((((((triple6) -> rule6)) -> rule5)) -> rule8)) -> rule4)) -> rule2) OR ((((((((((((triple6) -> rule6)) -> rule5)) -> rule8)) -> rule7) triple8) -> rule4)) -> rule2) OR ((((((((((((triple6) -> rule6)) -> rule5)) -> rule8)) -> rule7) ((triple9) -> rule8)) -> rule4)) -> rule2) OR ((((((((((((triple6) -> rule6)) -> rule5)) -> rule8)) -> rule7) ((((((triple6) -> rule6)) -> rule5)) -> rule8)) -> rule4)) -> rule2))] Erin is rough.[(triple11 OR ((((triple12) -> rule5)) -> rule8))] Erin is white.[(triple12)] @1: Anne is kind.[(((triple1 triple2) -> rule4) OR ((((triple2) -> rule7) triple2) -> rule4))] Bob is white.[(((triple4) -> rule6))] Dave is big.[(((triple8) -> rule7) OR ((((triple7) -> rule3)) -> rule7) OR ((((triple9) -> rule8)) -> rule7) OR ((((((((triple6) -> rule6)) -> rule5)) -> rule8)) -> rule7))] Dave is white.[(((triple6) -> rule6) OR ((triple7 triple9) -> rule1) OR ((((((triple8) -> rule7) triple8) -> rule4) triple9) -> rule1) OR ((((((triple8) -> rule7) ((triple9) -> rule8)) -> rule4) triple9) -> rule1) OR ((((((((triple9) -> rule8)) -> rule7) triple8) -> rule4) triple9) -> rule1) OR ((((((((triple9) -> rule8)) -> rule7) ((triple9) -> rule8)) -> rule4) triple9) -> rule1))] Erin is big.[(((triple11) -> rule7) OR ((((((triple12) -> rule5)) -> rule8)) -> rule7))] Erin is round.[(((triple12) -> rule5))] @2: Anne is smart.[(((((triple1 triple2) -> rule4)) -> rule2) OR ((((((triple2) -> rule7) triple2) -> rule4)) -> rule2))] Bob is round.[(((((triple4) -> rule6)) -> rule5))] Erin is kind.[(((((triple11) -> rule7) triple11) -> rule4) OR ((((triple11) -> rule7) ((((triple12) -> rule5)) -> rule8)) -> rule4) OR ((((((((triple12) -> rule5)) -> rule8)) -> rule7) triple11) -> rule4) OR ((((((((triple12) -> rule5)) -> rule8)) -> rule7) ((((triple12) -> rule5)) -> rule8)) -> rule4))] @3: Bob is rough.[(((((((triple4) -> rule6)) -> rule5)) -> rule8))] Erin is smart.[(((((((triple11) -> rule7) triple11) -> rule4)) -> rule2) OR ((((((triple11) -> rule7) ((((triple12) -> rule5)) -> rule8)) -> rule4)) -> rule2) OR ((((((((((triple12) -> rule5)) -> rule8)) -> rule7) triple11) -> rule4)) -> rule2) OR ((((((((((triple12) -> rule5)) -> rule8)) -> rule7) ((((triple12) -> rule5)) -> rule8)) -> rule4)) -> rule2))] @4: Bob is kind.[(((triple3 ((((((triple4) -> rule6)) -> rule5)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule6)) -> rule5)) -> rule8)) -> rule7) ((((((triple4) -> rule6)) -> rule5)) -> rule8)) -> rule4))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple2) -> (rule7 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Bob is big.
("Bob" "is" "big" "+")
triple3
((((((((triple4) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is smart.
("Bob" "is" "smart" "+")
triple5
((((triple3 ((((((triple4) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((((((((((triple4) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule7 % int3)) ((((((triple4) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple7
((((triple8) -> (rule7 % int2)) triple8) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((((triple8) -> (rule7 % int3)) ((triple9) -> (rule8 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((((triple9) -> (rule8 % int3))) -> (rule7 % int2)) triple8) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((((triple9) -> (rule8 % int3))) -> (rule7 % int2)) ((triple9) -> (rule8 % int3))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((triple8) -> (rule7 % int5)) ((((((triple6) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((((triple9) -> (rule8 % int5))) -> (rule7 % int4)) ((((((triple6) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int5))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((((((((triple6) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) triple8) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((((((((triple6) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) ((triple9) -> (rule8 % int3))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((((((((triple6) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) ((((((triple6) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
Dave is rough.
("Dave" "is" "rough" "+")
triple8
((triple7) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((triple9) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((((((triple6) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
triple9
((((triple6) -> (rule6 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
triple10
((triple7) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((((triple8) -> (rule7 % int3)) triple8) -> (rule4 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((((triple8) -> (rule7 % int4)) ((triple9) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((((triple9) -> (rule8 % int4))) -> (rule7 % int3)) triple8) -> (rule4 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((((triple9) -> (rule8 % int4))) -> (rule7 % int3)) ((triple9) -> (rule8 % int4))) -> (rule4 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((triple8) -> (rule7 % int6)) ((((((triple6) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
Dave is big.
("Dave" "is" "big" "+")
int6
((((((((triple9) -> (rule8 % int6))) -> (rule7 % int5)) ((((((triple6) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int6))) -> (rule4 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
Dave is rough.
("Dave" "is" "rough" "+")
int6
((((((((((((triple6) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule7 % int3)) triple8) -> (rule4 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((((((((((triple6) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule7 % int3)) ((triple9) -> (rule8 % int4))) -> (rule4 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((((((((((triple6) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule7 % int3)) ((((((triple6) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule4 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
Erin is rough.
("Erin" "is" "rough" "+")
triple11
((((triple12) -> (rule5 % int2))) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
triple12
Anne is kind.
("Anne" "is" "kind" "+")
((triple1 triple2) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((((triple2) -> (rule7 % int2)) triple2) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
((triple4) -> (rule6 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((triple8) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((((triple7) -> (rule3 % int2))) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((triple9) -> (rule8 % int2))) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((((((triple6) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
((triple6) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((triple7 triple9) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((((((triple8) -> (rule7 % int3)) triple8) -> (rule4 % int2)) triple9) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((((triple8) -> (rule7 % int4)) ((triple9) -> (rule8 % int3))) -> (rule4 % int2)) triple9) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((((triple9) -> (rule8 % int4))) -> (rule7 % int3)) triple8) -> (rule4 % int2)) triple9) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((((triple9) -> (rule8 % int4))) -> (rule7 % int3)) ((triple9) -> (rule8 % int4))) -> (rule4 % int2)) triple9) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
((triple11) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((((((triple12) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
((triple12) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
((((triple1 triple2) -> (rule4 % int2))) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((((triple2) -> (rule7 % int3)) triple2) -> (rule4 % int2))) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
((((triple4) -> (rule6 % int2))) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
((((triple11) -> (rule7 % int2)) triple11) -> (rule4 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple11) -> (rule7 % int4)) ((((triple12) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple12) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) triple11) -> (rule4 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((((triple12) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) ((((triple12) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
((((((triple4) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
((((((triple11) -> (rule7 % int3)) triple11) -> (rule4 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple11) -> (rule7 % int5)) ((((triple12) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple12) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule7 % int3)) triple11) -> (rule4 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((((triple12) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule7 % int3)) ((((triple12) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
((triple3 ((((((triple4) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((((((((triple4) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) ((((((triple4) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5