Bob is cold. Bob is furry. Bob is round. Dave is green. Dave is quiet. Dave is rough. Dave is round. Fiona is furry. Gary is big. Gary is furry. Gary is quiet. If something is furry then it is cold. Rough, quiet things are furry. If Dave is round and Dave is green then Dave is cold. If Fiona is round then Fiona is cold. If something is rough and cold then it is quiet. If Fiona is quiet then Fiona is cold. All furry, cold things are rough. Quiet, rough things are big. Big, rough things are green.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is round.
("Bob" "is" "round" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If something is furry then it is cold.
((("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
Rough, quiet things are furry.
((("something" "is" "rough" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
If Dave is round and Dave is green then Dave is cold.
((("Dave" "is" "round" "+") ("Dave" "is" "green" "+")) -> ("Dave" "is" "cold" "+"))
If Fiona is round then Fiona is cold.
((("Fiona" "is" "round" "+")) -> ("Fiona" "is" "cold" "+"))
If something is rough and cold then it is quiet.
((("something" "is" "rough" "+") ("something" "is" "cold" "+")) -> ("something" "is" "quiet" "+"))
If Fiona is quiet then Fiona is cold.
((("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "cold" "+"))
All furry, cold things are rough.
((("something" "is" "furry" "+") ("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
Quiet, rough things are big.
((("something" "is" "quiet" "+") ("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
Big, rough things are green.
((("something" "is" "big" "+") ("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
Dave is round.
True
1
proof
[(triple7)]
("Dave" "is" "round" "+")
triple7
Bob is not cold.
False
1
inv-proof
[(triple1 OR ((triple2) -> rule1))]
("Bob" "is" "cold" "-")
triple1
((triple2) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Dave is furry.
True
3
proof
[(((triple6 triple5) -> rule2) OR ((triple6 ((triple6 ((triple7 triple4) -> rule3)) -> rule5)) -> rule2))]
("Dave" "is" "furry" "+")
((triple6 triple5) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple6 ((triple6 ((triple7 triple4) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is not big.
False
3
inv-proof
[(((triple5 triple6) -> rule8) OR ((((triple6 ((triple7 triple4) -> rule3)) -> rule5) triple6) -> rule8))]
("Dave" "is" "big" "-")
((triple5 triple6) -> (rule8 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((((triple6 ((triple7 triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple6) -> (rule8 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Gary is rough.
True
4
proof
[(((triple10 ((triple10) -> rule1)) -> rule7))]
("Gary" "is" "rough" "+")
((triple10 ((triple10) -> (rule1 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not rough.
False
4
inv-proof
[(((triple10 ((triple10) -> rule1)) -> rule7))]
("Gary" "is" "rough" "-")
((triple10 ((triple10) -> (rule1 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Bob is big.
True
9
proof
[(((((((triple2 triple1) -> rule7) triple1) -> rule5) ((triple2 triple1) -> rule7)) -> rule8) OR ((((((triple2 triple1) -> rule7) triple1) -> rule5) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule8) OR ((((((triple2 triple1) -> rule7) ((triple2) -> rule1)) -> rule5) ((triple2 triple1) -> rule7)) -> rule8) OR ((((((triple2 triple1) -> rule7) ((triple2) -> rule1)) -> rule5) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule8) OR ((((((triple2 ((triple2) -> rule1)) -> rule7) triple1) -> rule5) ((triple2 triple1) -> rule7)) -> rule8) OR ((((((triple2 ((triple2) -> rule1)) -> rule7) triple1) -> rule5) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule8) OR ((((((triple2 ((triple2) -> rule1)) -> rule7) ((triple2) -> rule1)) -> rule5) ((triple2 triple1) -> rule7)) -> rule8) OR ((((((triple2 ((triple2) -> rule1)) -> rule7) ((triple2) -> rule1)) -> rule5) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule8))]
("Bob" "is" "big" "+")
((((((triple2 triple1) -> (rule7 % int3)) triple1) -> (rule5 % int2)) ((triple2 triple1) -> (rule7 % int3))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((((triple2 triple1) -> (rule7 % int4)) triple1) -> (rule5 % int3)) ((triple2 ((triple2) -> (rule1 % int2))) -> (rule7 % int4))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((triple2 triple1) -> (rule7 % int4)) ((triple2) -> (rule1 % int3))) -> (rule5 % int2)) ((triple2 triple1) -> (rule7 % int4))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((triple2 triple1) -> (rule7 % int4)) ((triple2) -> (rule1 % int3))) -> (rule5 % int2)) ((triple2 ((triple2) -> (rule1 % int3))) -> (rule7 % int4))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((triple2 ((triple2) -> (rule1 % int4))) -> (rule7 % int3)) triple1) -> (rule5 % int2)) ((triple2 triple1) -> (rule7 % int3))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple2 ((triple2) -> (rule1 % int4))) -> (rule7 % int3)) triple1) -> (rule5 % int2)) ((triple2 ((triple2) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple2 ((triple2) -> (rule1 % int4))) -> (rule7 % int3)) ((triple2) -> (rule1 % int4))) -> (rule5 % int2)) ((triple2 triple1) -> (rule7 % int3))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple2 ((triple2) -> (rule1 % int4))) -> (rule7 % int3)) ((triple2) -> (rule1 % int4))) -> (rule5 % int2)) ((triple2 ((triple2) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is not big.
False
9
inv-proof
[(((((((triple2 triple1) -> rule7) triple1) -> rule5) ((triple2 triple1) -> rule7)) -> rule8) OR ((((((triple2 triple1) -> rule7) triple1) -> rule5) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule8) OR ((((((triple2 triple1) -> rule7) ((triple2) -> rule1)) -> rule5) ((triple2 triple1) -> rule7)) -> rule8) OR ((((((triple2 triple1) -> rule7) ((triple2) -> rule1)) -> rule5) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule8) OR ((((((triple2 ((triple2) -> rule1)) -> rule7) triple1) -> rule5) ((triple2 triple1) -> rule7)) -> rule8) OR ((((((triple2 ((triple2) -> rule1)) -> rule7) triple1) -> rule5) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule8) OR ((((((triple2 ((triple2) -> rule1)) -> rule7) ((triple2) -> rule1)) -> rule5) ((triple2 triple1) -> rule7)) -> rule8) OR ((((((triple2 ((triple2) -> rule1)) -> rule7) ((triple2) -> rule1)) -> rule5) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule8))]
("Bob" "is" "big" "-")
((((((triple2 triple1) -> (rule7 % int3)) triple1) -> (rule5 % int2)) ((triple2 triple1) -> (rule7 % int3))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((((triple2 triple1) -> (rule7 % int4)) triple1) -> (rule5 % int3)) ((triple2 ((triple2) -> (rule1 % int2))) -> (rule7 % int4))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((triple2 triple1) -> (rule7 % int4)) ((triple2) -> (rule1 % int3))) -> (rule5 % int2)) ((triple2 triple1) -> (rule7 % int4))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((triple2 triple1) -> (rule7 % int4)) ((triple2) -> (rule1 % int3))) -> (rule5 % int2)) ((triple2 ((triple2) -> (rule1 % int3))) -> (rule7 % int4))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((triple2 ((triple2) -> (rule1 % int4))) -> (rule7 % int3)) triple1) -> (rule5 % int2)) ((triple2 triple1) -> (rule7 % int3))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple2 ((triple2) -> (rule1 % int4))) -> (rule7 % int3)) triple1) -> (rule5 % int2)) ((triple2 ((triple2) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple2 ((triple2) -> (rule1 % int4))) -> (rule7 % int3)) ((triple2) -> (rule1 % int4))) -> (rule5 % int2)) ((triple2 triple1) -> (rule7 % int3))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple2 ((triple2) -> (rule1 % int4))) -> (rule7 % int3)) ((triple2) -> (rule1 % int4))) -> (rule5 % int2)) ((triple2 ((triple2) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is green.
True
13
proof
[(((((((((triple2 triple1) -> rule7) triple1) -> rule5) ((triple2 triple1) -> rule7)) -> rule8) ((triple2 triple1) -> rule7)) -> rule9) OR ((((((((triple2 triple1) -> rule7) triple1) -> rule5) ((triple2 triple1) -> rule7)) -> rule8) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule9) OR ((((((((triple2 triple1) -> rule7) triple1) -> rule5) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule8) ((triple2 triple1) -> rule7)) -> rule9) OR ((((((((triple2 triple1) -> rule7) ((triple2) -> rule1)) -> rule5) ((triple2 triple1) -> rule7)) -> rule8) ((triple2 triple1) -> rule7)) -> rule9) OR ((((((((triple2 triple1) -> rule7) triple1) -> rule5) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule8) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule9) OR ((((((((triple2 triple1) -> rule7) ((triple2) -> rule1)) -> rule5) ((triple2 triple1) -> rule7)) -> rule8) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule9) OR ((((((((triple2 triple1) -> rule7) ((triple2) -> rule1)) -> rule5) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule8) ((triple2 triple1) -> rule7)) -> rule9) OR ((((((((triple2 triple1) -> rule7) ((triple2) -> rule1)) -> rule5) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule8) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule9) OR ((((((((triple2 ((triple2) -> rule1)) -> rule7) triple1) -> rule5) ((triple2 triple1) -> rule7)) -> rule8) ((triple2 triple1) -> rule7)) -> rule9) OR ((((((((triple2 ((triple2) -> rule1)) -> rule7) triple1) -> rule5) ((triple2 triple1) -> rule7)) -> rule8) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule9) OR ((((((((triple2 ((triple2) -> rule1)) -> rule7) triple1) -> rule5) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule8) ((triple2 triple1) -> rule7)) -> rule9) OR ((((((((triple2 ((triple2) -> rule1)) -> rule7) ((triple2) -> rule1)) -> rule5) ((triple2 triple1) -> rule7)) -> rule8) ((triple2 triple1) -> rule7)) -> rule9) OR ((((((((triple2 ((triple2) -> rule1)) -> rule7) triple1) -> rule5) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule8) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule9) OR ((((((((triple2 ((triple2) -> rule1)) -> rule7) ((triple2) -> rule1)) -> rule5) ((triple2 triple1) -> rule7)) -> rule8) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule9) OR ((((((((triple2 ((triple2) -> rule1)) -> rule7) ((triple2) -> rule1)) -> rule5) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule8) ((triple2 triple1) -> rule7)) -> rule9) OR ((((((((triple2 ((triple2) -> rule1)) -> rule7) ((triple2) -> rule1)) -> rule5) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule8) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule9))]
("Bob" "is" "green" "+")
((((((((triple2 triple1) -> (rule7 % int4)) triple1) -> (rule5 % int3)) ((triple2 triple1) -> (rule7 % int4))) -> (rule8 % int2)) ((triple2 triple1) -> (rule7 % int4))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((((triple2 triple1) -> (rule7 % int5)) triple1) -> (rule5 % int4)) ((triple2 triple1) -> (rule7 % int5))) -> (rule8 % int3)) ((triple2 ((triple2) -> (rule1 % int2))) -> (rule7 % int5))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((((triple2 triple1) -> (rule7 % int5)) triple1) -> (rule5 % int4)) ((triple2 ((triple2) -> (rule1 % int3))) -> (rule7 % int5))) -> (rule8 % int2)) ((triple2 triple1) -> (rule7 % int5))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((((triple2 triple1) -> (rule7 % int5)) ((triple2) -> (rule1 % int4))) -> (rule5 % int3)) ((triple2 triple1) -> (rule7 % int5))) -> (rule8 % int2)) ((triple2 triple1) -> (rule7 % int5))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((((triple2 triple1) -> (rule7 % int5)) triple1) -> (rule5 % int4)) ((triple2 ((triple2) -> (rule1 % int3))) -> (rule7 % int5))) -> (rule8 % int2)) ((triple2 ((triple2) -> (rule1 % int3))) -> (rule7 % int5))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((((triple2 triple1) -> (rule7 % int5)) ((triple2) -> (rule1 % int4))) -> (rule5 % int3)) ((triple2 triple1) -> (rule7 % int5))) -> (rule8 % int2)) ((triple2 ((triple2) -> (rule1 % int4))) -> (rule7 % int5))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((((triple2 triple1) -> (rule7 % int5)) ((triple2) -> (rule1 % int4))) -> (rule5 % int3)) ((triple2 ((triple2) -> (rule1 % int4))) -> (rule7 % int5))) -> (rule8 % int2)) ((triple2 triple1) -> (rule7 % int5))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((((triple2 triple1) -> (rule7 % int5)) ((triple2) -> (rule1 % int4))) -> (rule5 % int3)) ((triple2 ((triple2) -> (rule1 % int4))) -> (rule7 % int5))) -> (rule8 % int2)) ((triple2 ((triple2) -> (rule1 % int4))) -> (rule7 % int5))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((((triple2 ((triple2) -> (rule1 % int5))) -> (rule7 % int4)) triple1) -> (rule5 % int3)) ((triple2 triple1) -> (rule7 % int4))) -> (rule8 % int2)) ((triple2 triple1) -> (rule7 % int4))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple2 ((triple2) -> (rule1 % int5))) -> (rule7 % int4)) triple1) -> (rule5 % int3)) ((triple2 triple1) -> (rule7 % int4))) -> (rule8 % int2)) ((triple2 ((triple2) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple2 ((triple2) -> (rule1 % int5))) -> (rule7 % int4)) triple1) -> (rule5 % int3)) ((triple2 ((triple2) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((triple2 triple1) -> (rule7 % int4))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple2 ((triple2) -> (rule1 % int5))) -> (rule7 % int4)) ((triple2) -> (rule1 % int5))) -> (rule5 % int3)) ((triple2 triple1) -> (rule7 % int4))) -> (rule8 % int2)) ((triple2 triple1) -> (rule7 % int4))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple2 ((triple2) -> (rule1 % int5))) -> (rule7 % int4)) triple1) -> (rule5 % int3)) ((triple2 ((triple2) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((triple2 ((triple2) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple2 ((triple2) -> (rule1 % int5))) -> (rule7 % int4)) ((triple2) -> (rule1 % int5))) -> (rule5 % int3)) ((triple2 triple1) -> (rule7 % int4))) -> (rule8 % int2)) ((triple2 ((triple2) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple2 ((triple2) -> (rule1 % int5))) -> (rule7 % int4)) ((triple2) -> (rule1 % int5))) -> (rule5 % int3)) ((triple2 ((triple2) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((triple2 triple1) -> (rule7 % int4))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple2 ((triple2) -> (rule1 % int5))) -> (rule7 % int4)) ((triple2) -> (rule1 % int5))) -> (rule5 % int3)) ((triple2 ((triple2) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((triple2 ((triple2) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Fiona is not big.
False
12
inv-proof
[(((((((triple8 ((triple8) -> rule1)) -> rule7) ((triple8) -> rule1)) -> rule5) ((triple8 ((triple8) -> rule1)) -> rule7)) -> rule8))]
("Fiona" "is" "big" "-")
((((((triple8 ((triple8) -> (rule1 % int4))) -> (rule7 % int3)) ((triple8) -> (rule1 % int4))) -> (rule5 % int2)) ((triple8 ((triple8) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is green.
True
17
proof
[(((((((((triple8 ((triple8) -> rule1)) -> rule7) ((triple8) -> rule1)) -> rule5) ((triple8 ((triple8) -> rule1)) -> rule7)) -> rule8) ((triple8 ((triple8) -> rule1)) -> rule7)) -> rule9))]
("Fiona" "is" "green" "+")
((((((((triple8 ((triple8) -> (rule1 % int5))) -> (rule7 % int4)) ((triple8) -> (rule1 % int5))) -> (rule5 % int3)) ((triple8 ((triple8) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((triple8 ((triple8) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule9 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
Fiona is not green.
False
17
inv-proof
[(((((((((triple8 ((triple8) -> rule1)) -> rule7) ((triple8) -> rule1)) -> rule5) ((triple8 ((triple8) -> rule1)) -> rule7)) -> rule8) ((triple8 ((triple8) -> rule1)) -> rule7)) -> rule9))]
("Fiona" "is" "green" "-")
((((((((triple8 ((triple8) -> (rule1 % int5))) -> (rule7 % int4)) ((triple8) -> (rule1 % int5))) -> (rule5 % int3)) ((triple8 ((triple8) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((triple8 ((triple8) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule9 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Bob is cold.[(triple1 OR ((triple2) -> rule1))] Bob is furry.[(triple2)] Bob is round.[(triple3)] Dave is green.[(triple4 OR ((((triple5 triple6) -> rule8) triple6) -> rule9))] Dave is quiet.[(triple5 OR ((triple6 ((triple7 triple4) -> rule3)) -> rule5))] Dave is rough.[(triple6)] Dave is round.[(triple7)] Fiona is furry.[(triple8)] Gary is big.[(triple9 OR ((triple11 ((triple10 ((triple10) -> rule1)) -> rule7)) -> rule8) OR ((((((triple10 ((triple10) -> rule1)) -> rule7) ((triple10) -> rule1)) -> rule5) ((triple10 ((triple10) -> rule1)) -> rule7)) -> rule8))] Gary is furry.[(triple10)] Gary is quiet.[(triple11 OR ((((triple10 ((triple10) -> rule1)) -> rule7) ((triple10) -> rule1)) -> rule5))] @1: Bob is rough.[(((triple2 triple1) -> rule7) OR ((triple2 ((triple2) -> rule1)) -> rule7))] Dave is big.[(((triple5 triple6) -> rule8) OR ((((triple6 ((triple7 triple4) -> rule3)) -> rule5) triple6) -> rule8))] Dave is cold.[(((triple7 triple4) -> rule3) OR ((((triple6 triple5) -> rule2)) -> rule1) OR ((triple7 ((((triple5 triple6) -> rule8) triple6) -> rule9)) -> rule3))] Dave is furry.[(((triple6 triple5) -> rule2) OR ((triple6 ((triple6 ((triple7 triple4) -> rule3)) -> rule5)) -> rule2))] Fiona is cold.[(((triple8) -> rule1))] Gary is cold.[(((triple10) -> rule1))] @2: Bob is quiet.[(((((triple2 triple1) -> rule7) triple1) -> rule5) OR ((((triple2 triple1) -> rule7) ((triple2) -> rule1)) -> rule5) OR ((((triple2 ((triple2) -> rule1)) -> rule7) triple1) -> rule5) OR ((((triple2 ((triple2) -> rule1)) -> rule7) ((triple2) -> rule1)) -> rule5))] Fiona is rough.[(((triple8 ((triple8) -> rule1)) -> rule7))] Gary is rough.[(((triple10 ((triple10) -> rule1)) -> rule7))] @3: Bob is big.[(((((((triple2 triple1) -> rule7) triple1) -> rule5) ((triple2 triple1) -> rule7)) -> rule8) OR ((((((triple2 triple1) -> rule7) triple1) -> rule5) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule8) OR ((((((triple2 triple1) -> rule7) ((triple2) -> rule1)) -> rule5) ((triple2 triple1) -> rule7)) -> rule8) OR ((((((triple2 triple1) -> rule7) ((triple2) -> rule1)) -> rule5) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule8) OR ((((((triple2 ((triple2) -> rule1)) -> rule7) triple1) -> rule5) ((triple2 triple1) -> rule7)) -> rule8) OR ((((((triple2 ((triple2) -> rule1)) -> rule7) triple1) -> rule5) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule8) OR ((((((triple2 ((triple2) -> rule1)) -> rule7) ((triple2) -> rule1)) -> rule5) ((triple2 triple1) -> rule7)) -> rule8) OR ((((((triple2 ((triple2) -> rule1)) -> rule7) ((triple2) -> rule1)) -> rule5) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule8))] Fiona is quiet.[(((((triple8 ((triple8) -> rule1)) -> rule7) ((triple8) -> rule1)) -> rule5))] Gary is green.[(((triple9 ((triple10 ((triple10) -> rule1)) -> rule7)) -> rule9) OR ((((triple11 ((triple10 ((triple10) -> rule1)) -> rule7)) -> rule8) ((triple10 ((triple10) -> rule1)) -> rule7)) -> rule9) OR ((((((((triple10 ((triple10) -> rule1)) -> rule7) ((triple10) -> rule1)) -> rule5) ((triple10 ((triple10) -> rule1)) -> rule7)) -> rule8) ((triple10 ((triple10) -> rule1)) -> rule7)) -> rule9))] @4: Bob is green.[(((((((((triple2 triple1) -> rule7) triple1) -> rule5) ((triple2 triple1) -> rule7)) -> rule8) ((triple2 triple1) -> rule7)) -> rule9) OR ((((((((triple2 triple1) -> rule7) triple1) -> rule5) ((triple2 triple1) -> rule7)) -> rule8) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule9) OR ((((((((triple2 triple1) -> rule7) triple1) -> rule5) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule8) ((triple2 triple1) -> rule7)) -> rule9) OR ((((((((triple2 triple1) -> rule7) ((triple2) -> rule1)) -> rule5) ((triple2 triple1) -> rule7)) -> rule8) ((triple2 triple1) -> rule7)) -> rule9) OR ((((((((triple2 triple1) -> rule7) triple1) -> rule5) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule8) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule9) OR ((((((((triple2 triple1) -> rule7) ((triple2) -> rule1)) -> rule5) ((triple2 triple1) -> rule7)) -> rule8) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule9) OR ((((((((triple2 triple1) -> rule7) ((triple2) -> rule1)) -> rule5) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule8) ((triple2 triple1) -> rule7)) -> rule9) OR ((((((((triple2 triple1) -> rule7) ((triple2) -> rule1)) -> rule5) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule8) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule9) OR ((((((((triple2 ((triple2) -> rule1)) -> rule7) triple1) -> rule5) ((triple2 triple1) -> rule7)) -> rule8) ((triple2 triple1) -> rule7)) -> rule9) OR ((((((((triple2 ((triple2) -> rule1)) -> rule7) triple1) -> rule5) ((triple2 triple1) -> rule7)) -> rule8) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule9) OR ((((((((triple2 ((triple2) -> rule1)) -> rule7) triple1) -> rule5) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule8) ((triple2 triple1) -> rule7)) -> rule9) OR ((((((((triple2 ((triple2) -> rule1)) -> rule7) ((triple2) -> rule1)) -> rule5) ((triple2 triple1) -> rule7)) -> rule8) ((triple2 triple1) -> rule7)) -> rule9) OR ((((((((triple2 ((triple2) -> rule1)) -> rule7) triple1) -> rule5) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule8) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule9) OR ((((((((triple2 ((triple2) -> rule1)) -> rule7) ((triple2) -> rule1)) -> rule5) ((triple2 triple1) -> rule7)) -> rule8) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule9) OR ((((((((triple2 ((triple2) -> rule1)) -> rule7) ((triple2) -> rule1)) -> rule5) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule8) ((triple2 triple1) -> rule7)) -> rule9) OR ((((((((triple2 ((triple2) -> rule1)) -> rule7) ((triple2) -> rule1)) -> rule5) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule8) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule9))] Fiona is big.[(((((((triple8 ((triple8) -> rule1)) -> rule7) ((triple8) -> rule1)) -> rule5) ((triple8 ((triple8) -> rule1)) -> rule7)) -> rule8))] @5: Fiona is green.[(((((((((triple8 ((triple8) -> rule1)) -> rule7) ((triple8) -> rule1)) -> rule5) ((triple8 ((triple8) -> rule1)) -> rule7)) -> rule8) ((triple8 ((triple8) -> rule1)) -> rule7)) -> rule9))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
((triple2) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
Dave is green.
("Dave" "is" "green" "+")
triple4
((((triple5 triple6) -> (rule8 % int2)) triple6) -> (rule9 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple5
((triple6 ((triple7 triple4) -> (rule3 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
Gary is big.
("Gary" "is" "big" "+")
triple9
((triple11 ((triple10 ((triple10) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((((triple10 ((triple10) -> (rule1 % int4))) -> (rule7 % int3)) ((triple10) -> (rule1 % int4))) -> (rule5 % int2)) ((triple10 ((triple10) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
triple10
Gary is quiet.
("Gary" "is" "quiet" "+")
triple11
((((triple10 ((triple10) -> (rule1 % int3))) -> (rule7 % int2)) ((triple10) -> (rule1 % int3))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
((triple2 triple1) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((triple2 ((triple2) -> (rule1 % int2))) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
((triple5 triple6) -> (rule8 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((((triple6 ((triple7 triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple6) -> (rule8 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
((triple7 triple4) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((((triple6 triple5) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((triple7 ((((triple5 triple6) -> (rule8 % int3)) triple6) -> (rule9 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
((triple6 triple5) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple6 ((triple6 ((triple7 triple4) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple8) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple10) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
((((triple2 triple1) -> (rule7 % int2)) triple1) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((triple2 triple1) -> (rule7 % int3)) ((triple2) -> (rule1 % int2))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple2 ((triple2) -> (rule1 % int3))) -> (rule7 % int2)) triple1) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((triple2 ((triple2) -> (rule1 % int3))) -> (rule7 % int2)) ((triple2) -> (rule1 % int3))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple8 ((triple8) -> (rule1 % int2))) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((triple10 ((triple10) -> (rule1 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
((((((triple2 triple1) -> (rule7 % int3)) triple1) -> (rule5 % int2)) ((triple2 triple1) -> (rule7 % int3))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((((triple2 triple1) -> (rule7 % int4)) triple1) -> (rule5 % int3)) ((triple2 ((triple2) -> (rule1 % int2))) -> (rule7 % int4))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((triple2 triple1) -> (rule7 % int4)) ((triple2) -> (rule1 % int3))) -> (rule5 % int2)) ((triple2 triple1) -> (rule7 % int4))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((triple2 triple1) -> (rule7 % int4)) ((triple2) -> (rule1 % int3))) -> (rule5 % int2)) ((triple2 ((triple2) -> (rule1 % int3))) -> (rule7 % int4))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((triple2 ((triple2) -> (rule1 % int4))) -> (rule7 % int3)) triple1) -> (rule5 % int2)) ((triple2 triple1) -> (rule7 % int3))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple2 ((triple2) -> (rule1 % int4))) -> (rule7 % int3)) triple1) -> (rule5 % int2)) ((triple2 ((triple2) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple2 ((triple2) -> (rule1 % int4))) -> (rule7 % int3)) ((triple2) -> (rule1 % int4))) -> (rule5 % int2)) ((triple2 triple1) -> (rule7 % int3))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple2 ((triple2) -> (rule1 % int4))) -> (rule7 % int3)) ((triple2) -> (rule1 % int4))) -> (rule5 % int2)) ((triple2 ((triple2) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple8 ((triple8) -> (rule1 % int3))) -> (rule7 % int2)) ((triple8) -> (rule1 % int3))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
((triple9 ((triple10 ((triple10) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple11 ((triple10 ((triple10) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) ((triple10 ((triple10) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((((triple10 ((triple10) -> (rule1 % int5))) -> (rule7 % int4)) ((triple10) -> (rule1 % int5))) -> (rule5 % int3)) ((triple10 ((triple10) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((triple10 ((triple10) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
((((((((triple2 triple1) -> (rule7 % int4)) triple1) -> (rule5 % int3)) ((triple2 triple1) -> (rule7 % int4))) -> (rule8 % int2)) ((triple2 triple1) -> (rule7 % int4))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((((triple2 triple1) -> (rule7 % int5)) triple1) -> (rule5 % int4)) ((triple2 triple1) -> (rule7 % int5))) -> (rule8 % int3)) ((triple2 ((triple2) -> (rule1 % int2))) -> (rule7 % int5))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((((triple2 triple1) -> (rule7 % int5)) triple1) -> (rule5 % int4)) ((triple2 ((triple2) -> (rule1 % int3))) -> (rule7 % int5))) -> (rule8 % int2)) ((triple2 triple1) -> (rule7 % int5))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((((triple2 triple1) -> (rule7 % int5)) ((triple2) -> (rule1 % int4))) -> (rule5 % int3)) ((triple2 triple1) -> (rule7 % int5))) -> (rule8 % int2)) ((triple2 triple1) -> (rule7 % int5))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((((triple2 triple1) -> (rule7 % int5)) triple1) -> (rule5 % int4)) ((triple2 ((triple2) -> (rule1 % int3))) -> (rule7 % int5))) -> (rule8 % int2)) ((triple2 ((triple2) -> (rule1 % int3))) -> (rule7 % int5))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((((triple2 triple1) -> (rule7 % int5)) ((triple2) -> (rule1 % int4))) -> (rule5 % int3)) ((triple2 triple1) -> (rule7 % int5))) -> (rule8 % int2)) ((triple2 ((triple2) -> (rule1 % int4))) -> (rule7 % int5))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((((triple2 triple1) -> (rule7 % int5)) ((triple2) -> (rule1 % int4))) -> (rule5 % int3)) ((triple2 ((triple2) -> (rule1 % int4))) -> (rule7 % int5))) -> (rule8 % int2)) ((triple2 triple1) -> (rule7 % int5))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((((triple2 triple1) -> (rule7 % int5)) ((triple2) -> (rule1 % int4))) -> (rule5 % int3)) ((triple2 ((triple2) -> (rule1 % int4))) -> (rule7 % int5))) -> (rule8 % int2)) ((triple2 ((triple2) -> (rule1 % int4))) -> (rule7 % int5))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((((triple2 ((triple2) -> (rule1 % int5))) -> (rule7 % int4)) triple1) -> (rule5 % int3)) ((triple2 triple1) -> (rule7 % int4))) -> (rule8 % int2)) ((triple2 triple1) -> (rule7 % int4))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple2 ((triple2) -> (rule1 % int5))) -> (rule7 % int4)) triple1) -> (rule5 % int3)) ((triple2 triple1) -> (rule7 % int4))) -> (rule8 % int2)) ((triple2 ((triple2) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple2 ((triple2) -> (rule1 % int5))) -> (rule7 % int4)) triple1) -> (rule5 % int3)) ((triple2 ((triple2) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((triple2 triple1) -> (rule7 % int4))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple2 ((triple2) -> (rule1 % int5))) -> (rule7 % int4)) ((triple2) -> (rule1 % int5))) -> (rule5 % int3)) ((triple2 triple1) -> (rule7 % int4))) -> (rule8 % int2)) ((triple2 triple1) -> (rule7 % int4))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple2 ((triple2) -> (rule1 % int5))) -> (rule7 % int4)) triple1) -> (rule5 % int3)) ((triple2 ((triple2) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((triple2 ((triple2) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple2 ((triple2) -> (rule1 % int5))) -> (rule7 % int4)) ((triple2) -> (rule1 % int5))) -> (rule5 % int3)) ((triple2 triple1) -> (rule7 % int4))) -> (rule8 % int2)) ((triple2 ((triple2) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple2 ((triple2) -> (rule1 % int5))) -> (rule7 % int4)) ((triple2) -> (rule1 % int5))) -> (rule5 % int3)) ((triple2 ((triple2) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((triple2 triple1) -> (rule7 % int4))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple2 ((triple2) -> (rule1 % int5))) -> (rule7 % int4)) ((triple2) -> (rule1 % int5))) -> (rule5 % int3)) ((triple2 ((triple2) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((triple2 ((triple2) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Fiona is big.
("Fiona" "is" "big" "+")
((((((triple8 ((triple8) -> (rule1 % int4))) -> (rule7 % int3)) ((triple8) -> (rule1 % int4))) -> (rule5 % int2)) ((triple8 ((triple8) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
((((((((triple8 ((triple8) -> (rule1 % int5))) -> (rule7 % int4)) ((triple8) -> (rule1 % int5))) -> (rule5 % int3)) ((triple8 ((triple8) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((triple8 ((triple8) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule9 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5