Dave is blue. Dave is cold. Dave is nice. Dave is quiet. Dave is rough. Dave is smart. Dave is white. Erin is blue. Erin is cold. Erin is quiet. Erin is rough. Erin is white. Fiona is blue. Fiona is nice. Fiona is quiet. Fiona is rough. All cold people are smart. Smart, nice people are rough. All blue people are smart. All nice people are rough. All smart, white people are nice. All rough people are blue. If Dave is smart and Dave is blue then Dave is nice. Nice people are blue.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
All cold people are smart.
((("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
Smart, nice people are rough.
((("someone" "is" "smart" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
All blue people are smart.
((("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
All nice people are rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
All smart, white people are nice.
((("someone" "is" "smart" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
All rough people are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If Dave is smart and Dave is blue then Dave is nice.
((("Dave" "is" "smart" "+") ("Dave" "is" "blue" "+")) -> ("Dave" "is" "nice" "+"))
Nice people are blue.
((("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
Dave is smart.
True
1
proof
[(triple6 OR ((triple1) -> rule3) OR ((triple2) -> rule1) OR ((((triple3) -> rule8)) -> rule3) OR ((((triple5) -> rule6)) -> rule3) OR ((((((triple3) -> rule4)) -> rule6)) -> rule3))]
("Dave" "is" "smart" "+")
triple6
((triple1) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((triple2) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((triple3) -> (rule8 % int2))) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((triple5) -> (rule6 % int2))) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((((triple3) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is not white.
False
1
inv-proof
[(triple7)]
("Dave" "is" "white" "-")
triple7
Erin is smart.
True
2
proof
[(((triple8) -> rule3) OR ((triple9) -> rule1) OR ((((triple11) -> rule6)) -> rule3))]
("Erin" "is" "smart" "+")
((triple8) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((triple9) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((((triple11) -> (rule6 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Fiona is not smart.
False
2
inv-proof
[(((triple13) -> rule3) OR ((((triple14) -> rule8)) -> rule3) OR ((((triple16) -> rule6)) -> rule3) OR ((((((triple14) -> rule4)) -> rule6)) -> rule3))]
("Fiona" "is" "smart" "-")
((triple13) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple14) -> (rule8 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple16) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((((triple14) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Dave is blue.[(triple1 OR ((triple3) -> rule8) OR ((triple5) -> rule6) OR ((((triple3) -> rule4)) -> rule6) OR ((((triple6 triple3) -> rule2)) -> rule6) OR ((((triple6 triple7) -> rule5)) -> rule8) OR ((((((triple6 triple7) -> rule5)) -> rule4)) -> rule6) OR ((((triple6 ((triple6 triple7) -> rule5)) -> rule2)) -> rule6) OR ((((((triple2) -> rule1) triple3) -> rule2)) -> rule6) OR ((((((triple2) -> rule1) triple7) -> rule5)) -> rule8) OR ((((((triple2) -> rule1) ((triple6 triple7) -> rule5)) -> rule2)) -> rule6) OR ((((((((triple2) -> rule1) triple7) -> rule5)) -> rule4)) -> rule6) OR ((((triple6 ((((triple2) -> rule1) triple7) -> rule5)) -> rule2)) -> rule6) OR ((((((triple2) -> rule1) ((((triple2) -> rule1) triple7) -> rule5)) -> rule2)) -> rule6))] Dave is cold.[(triple2)] Dave is nice.[(triple3 OR ((triple6 triple1) -> rule7) OR ((triple6 triple7) -> rule5) OR ((triple6 ((triple5) -> rule6)) -> rule7) OR ((((triple1) -> rule3) triple1) -> rule7) OR ((((triple1) -> rule3) triple7) -> rule5) OR ((((triple2) -> rule1) triple1) -> rule7) OR ((((triple2) -> rule1) triple7) -> rule5) OR ((((triple1) -> rule3) ((triple5) -> rule6)) -> rule7) OR ((((triple2) -> rule1) ((triple5) -> rule6)) -> rule7) OR ((((((triple5) -> rule6)) -> rule3) triple1) -> rule7) OR ((((((triple5) -> rule6)) -> rule3) triple7) -> rule5) OR ((((((triple5) -> rule6)) -> rule3) ((triple5) -> rule6)) -> rule7))] Dave is quiet.[(triple4)] Dave is rough.[(triple5 OR ((triple3) -> rule4) OR ((triple6 triple3) -> rule2) OR ((((triple6 triple1) -> rule7)) -> rule4) OR ((((triple6 triple7) -> rule5)) -> rule4) OR ((triple6 ((triple6 triple1) -> rule7)) -> rule2) OR ((triple6 ((triple6 triple7) -> rule5)) -> rule2) OR ((((triple1) -> rule3) triple3) -> rule2) OR ((((triple2) -> rule1) triple3) -> rule2) OR ((((triple1) -> rule3) ((triple6 triple1) -> rule7)) -> rule2) OR ((((triple1) -> rule3) ((triple6 triple7) -> rule5)) -> rule2) OR ((((triple2) -> rule1) ((triple6 triple1) -> rule7)) -> rule2) OR ((((triple2) -> rule1) ((triple6 triple7) -> rule5)) -> rule2) OR ((((((triple1) -> rule3) triple1) -> rule7)) -> rule4) OR ((((((triple1) -> rule3) triple7) -> rule5)) -> rule4) OR ((((((triple2) -> rule1) triple1) -> rule7)) -> rule4) OR ((((((triple2) -> rule1) triple7) -> rule5)) -> rule4) OR ((triple6 ((((triple1) -> rule3) triple1) -> rule7)) -> rule2) OR ((triple6 ((((triple1) -> rule3) triple7) -> rule5)) -> rule2) OR ((triple6 ((((triple2) -> rule1) triple1) -> rule7)) -> rule2) OR ((triple6 ((((triple2) -> rule1) triple7) -> rule5)) -> rule2) OR ((((((triple3) -> rule8)) -> rule3) triple3) -> rule2) OR ((((triple1) -> rule3) ((((triple1) -> rule3) triple1) -> rule7)) -> rule2) OR ((((triple1) -> rule3) ((((triple1) -> rule3) triple7) -> rule5)) -> rule2) OR ((((triple1) -> rule3) ((((triple2) -> rule1) triple1) -> rule7)) -> rule2) OR ((((triple1) -> rule3) ((((triple2) -> rule1) triple7) -> rule5)) -> rule2) OR ((((triple2) -> rule1) ((((triple1) -> rule3) triple1) -> rule7)) -> rule2) OR ((((triple2) -> rule1) ((((triple1) -> rule3) triple7) -> rule5)) -> rule2) OR ((((triple2) -> rule1) ((((triple2) -> rule1) triple1) -> rule7)) -> rule2) OR ((((triple2) -> rule1) ((((triple2) -> rule1) triple7) -> rule5)) -> rule2) OR ((((((triple3) -> rule8)) -> rule3) ((triple6 triple1) -> rule7)) -> rule2) OR ((((((triple3) -> rule8)) -> rule3) ((triple6 triple7) -> rule5)) -> rule2) OR ((((((triple3) -> rule8)) -> rule3) ((((triple1) -> rule3) triple1) -> rule7)) -> rule2) OR ((((((triple3) -> rule8)) -> rule3) ((((triple1) -> rule3) triple7) -> rule5)) -> rule2) OR ((((((triple3) -> rule8)) -> rule3) ((((triple2) -> rule1) triple1) -> rule7)) -> rule2) OR ((((((triple3) -> rule8)) -> rule3) ((((triple2) -> rule1) triple7) -> rule5)) -> rule2))] Dave is smart.[(triple6 OR ((triple1) -> rule3) OR ((triple2) -> rule1) OR ((((triple3) -> rule8)) -> rule3) OR ((((triple5) -> rule6)) -> rule3) OR ((((((triple3) -> rule4)) -> rule6)) -> rule3))] Dave is white.[(triple7)] Erin is blue.[(triple8 OR ((triple11) -> rule6) OR ((((((triple9) -> rule1) triple12) -> rule5)) -> rule8) OR ((((((((triple9) -> rule1) triple12) -> rule5)) -> rule4)) -> rule6) OR ((((((triple9) -> rule1) ((((triple9) -> rule1) triple12) -> rule5)) -> rule2)) -> rule6))] Erin is cold.[(triple9)] Erin is quiet.[(triple10)] Erin is rough.[(triple11 OR ((((((triple8) -> rule3) triple12) -> rule5)) -> rule4) OR ((((((triple9) -> rule1) triple12) -> rule5)) -> rule4) OR ((((triple8) -> rule3) ((((triple8) -> rule3) triple12) -> rule5)) -> rule2) OR ((((triple8) -> rule3) ((((triple9) -> rule1) triple12) -> rule5)) -> rule2) OR ((((triple9) -> rule1) ((((triple8) -> rule3) triple12) -> rule5)) -> rule2) OR ((((triple9) -> rule1) ((((triple9) -> rule1) triple12) -> rule5)) -> rule2))] Erin is white.[(triple12)] Fiona is blue.[(triple13 OR ((triple14) -> rule8) OR ((triple16) -> rule6) OR ((((triple14) -> rule4)) -> rule6))] Fiona is nice.[(triple14)] Fiona is quiet.[(triple15)] Fiona is rough.[(triple16 OR ((triple14) -> rule4) OR ((((triple13) -> rule3) triple14) -> rule2) OR ((((((triple14) -> rule8)) -> rule3) triple14) -> rule2))] @1: Erin is smart.[(((triple8) -> rule3) OR ((triple9) -> rule1) OR ((((triple11) -> rule6)) -> rule3))] Fiona is smart.[(((triple13) -> rule3) OR ((((triple14) -> rule8)) -> rule3) OR ((((triple16) -> rule6)) -> rule3) OR ((((((triple14) -> rule4)) -> rule6)) -> rule3))] @2: Erin is nice.[(((((triple8) -> rule3) triple12) -> rule5) OR ((((triple9) -> rule1) triple12) -> rule5) OR ((((((triple11) -> rule6)) -> rule3) triple12) -> rule5))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
((triple3) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((triple5) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((((triple3) -> (rule4 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((triple6 triple3) -> (rule2 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((triple6 triple7) -> (rule5 % int2))) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((((triple6 triple7) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((triple6 ((triple6 triple7) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((((triple2) -> (rule1 % int3)) triple3) -> (rule2 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((((triple2) -> (rule1 % int3)) triple7) -> (rule5 % int2))) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((((triple2) -> (rule1 % int4)) ((triple6 triple7) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((((((triple2) -> (rule1 % int4)) triple7) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((triple6 ((((triple2) -> (rule1 % int4)) triple7) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((((triple2) -> (rule1 % int4)) ((((triple2) -> (rule1 % int4)) triple7) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple3
((triple6 triple1) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((triple6 triple7) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((triple6 ((triple5) -> (rule6 % int2))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((triple1) -> (rule3 % int2)) triple1) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple1) -> (rule3 % int2)) triple7) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple2) -> (rule1 % int2)) triple1) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple2) -> (rule1 % int2)) triple7) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple1) -> (rule3 % int3)) ((triple5) -> (rule6 % int2))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((triple2) -> (rule1 % int3)) ((triple5) -> (rule6 % int2))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((((triple5) -> (rule6 % int3))) -> (rule3 % int2)) triple1) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((((triple5) -> (rule6 % int3))) -> (rule3 % int2)) triple7) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((((triple5) -> (rule6 % int3))) -> (rule3 % int2)) ((triple5) -> (rule6 % int3))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple5
((triple3) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((triple6 triple3) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((((triple6 triple1) -> (rule7 % int2))) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((triple6 triple7) -> (rule5 % int2))) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((triple6 ((triple6 triple1) -> (rule7 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((triple6 ((triple6 triple7) -> (rule5 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((triple1) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple2) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple1) -> (rule3 % int3)) ((triple6 triple1) -> (rule7 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((triple1) -> (rule3 % int3)) ((triple6 triple7) -> (rule5 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((triple2) -> (rule1 % int3)) ((triple6 triple1) -> (rule7 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((triple2) -> (rule1 % int3)) ((triple6 triple7) -> (rule5 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((((triple1) -> (rule3 % int3)) triple1) -> (rule7 % int2))) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((((triple1) -> (rule3 % int3)) triple7) -> (rule5 % int2))) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((((triple2) -> (rule1 % int3)) triple1) -> (rule7 % int2))) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((((triple2) -> (rule1 % int3)) triple7) -> (rule5 % int2))) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((triple6 ((((triple1) -> (rule3 % int3)) triple1) -> (rule7 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((triple6 ((((triple1) -> (rule3 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((triple6 ((((triple2) -> (rule1 % int3)) triple1) -> (rule7 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((triple6 ((((triple2) -> (rule1 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((((triple3) -> (rule8 % int3))) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((triple1) -> (rule3 % int3)) ((((triple1) -> (rule3 % int3)) triple1) -> (rule7 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((triple1) -> (rule3 % int3)) ((((triple1) -> (rule3 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((triple1) -> (rule3 % int3)) ((((triple2) -> (rule1 % int3)) triple1) -> (rule7 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((triple1) -> (rule3 % int3)) ((((triple2) -> (rule1 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((triple2) -> (rule1 % int3)) ((((triple1) -> (rule3 % int3)) triple1) -> (rule7 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((triple2) -> (rule1 % int3)) ((((triple1) -> (rule3 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((triple2) -> (rule1 % int3)) ((((triple2) -> (rule1 % int3)) triple1) -> (rule7 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((triple2) -> (rule1 % int3)) ((((triple2) -> (rule1 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((((triple3) -> (rule8 % int4))) -> (rule3 % int3)) ((triple6 triple1) -> (rule7 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((triple3) -> (rule8 % int4))) -> (rule3 % int3)) ((triple6 triple7) -> (rule5 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((triple3) -> (rule8 % int4))) -> (rule3 % int3)) ((((triple1) -> (rule3 % int3)) triple1) -> (rule7 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((triple3) -> (rule8 % int4))) -> (rule3 % int3)) ((((triple1) -> (rule3 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((triple3) -> (rule8 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule1 % int3)) triple1) -> (rule7 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((triple3) -> (rule8 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule1 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
triple6
((triple1) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((triple2) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((triple3) -> (rule8 % int2))) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((triple5) -> (rule6 % int2))) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((((triple3) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
triple7
Erin is blue.
("Erin" "is" "blue" "+")
triple8
((triple11) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((((((triple9) -> (rule1 % int3)) triple12) -> (rule5 % int2))) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((((((triple9) -> (rule1 % int4)) triple12) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((((triple9) -> (rule1 % int4)) ((((triple9) -> (rule1 % int4)) triple12) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
triple9
Erin is quiet.
("Erin" "is" "quiet" "+")
triple10
Erin is rough.
("Erin" "is" "rough" "+")
triple11
((((((triple8) -> (rule3 % int3)) triple12) -> (rule5 % int2))) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((((triple9) -> (rule1 % int3)) triple12) -> (rule5 % int2))) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((triple8) -> (rule3 % int3)) ((((triple8) -> (rule3 % int3)) triple12) -> (rule5 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((triple8) -> (rule3 % int3)) ((((triple9) -> (rule1 % int3)) triple12) -> (rule5 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((triple9) -> (rule1 % int3)) ((((triple8) -> (rule3 % int3)) triple12) -> (rule5 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((triple9) -> (rule1 % int3)) ((((triple9) -> (rule1 % int3)) triple12) -> (rule5 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
triple12
Fiona is blue.
("Fiona" "is" "blue" "+")
triple13
((triple14) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple16) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((((triple14) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple14
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple15
Fiona is rough.
("Fiona" "is" "rough" "+")
triple16
((triple14) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((triple13) -> (rule3 % int2)) triple14) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((((triple14) -> (rule8 % int3))) -> (rule3 % int2)) triple14) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
((triple8) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((triple9) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((((triple11) -> (rule6 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple13) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple14) -> (rule8 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple16) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((((triple14) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
((((triple8) -> (rule3 % int2)) triple12) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple9) -> (rule1 % int2)) triple12) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((((triple11) -> (rule6 % int3))) -> (rule3 % int2)) triple12) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3