Bob is big. Bob is rough. Dave is big. Dave is blue. Dave is quiet. Dave is smart. Dave is white. Fiona is big. Fiona is not white. Harry is rough. All round things are rough. If something is big and quiet then it is blue. Rough things are blue. Quiet things are round. Smart things are round. Big things are smart. If Bob is blue then Bob is smart. If Dave is smart then Dave is round. All blue, big things are quiet.
Bob is big.
("Bob" "is" "big" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
Harry is rough.
("Harry" "is" "rough" "+")
All round things are rough.
((("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
If something is big and quiet then it is blue.
((("something" "is" "big" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "blue" "+"))
Rough things are blue.
((("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
Quiet things are round.
((("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
Smart things are round.
((("something" "is" "smart" "+")) -> ("something" "is" "round" "+"))
Big things are smart.
((("something" "is" "big" "+")) -> ("something" "is" "smart" "+"))
If Bob is blue then Bob is smart.
((("Bob" "is" "blue" "+")) -> ("Bob" "is" "smart" "+"))
If Dave is smart then Dave is round.
((("Dave" "is" "smart" "+")) -> ("Dave" "is" "round" "+"))
All blue, big things are quiet.
((("something" "is" "blue" "+") ("something" "is" "big" "+")) -> ("something" "is" "quiet" "+"))
Dave is quiet.
True
1
proof
[(triple5 OR ((triple4 triple3) -> rule9) OR ((((((((triple6) -> rule5)) -> rule1)) -> rule3) triple3) -> rule9) OR ((((((((triple6) -> rule8)) -> rule1)) -> rule3) triple3) -> rule9) OR ((((((((((triple3) -> rule6)) -> rule5)) -> rule1)) -> rule3) triple3) -> rule9) OR ((((((((((triple3) -> rule6)) -> rule8)) -> rule1)) -> rule3) triple3) -> rule9))]
("Dave" "is" "quiet" "+")
triple5
((triple4 triple3) -> (rule9 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((((((((triple6) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple3) -> (rule9 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((((triple6) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple3) -> (rule9 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((((((triple3) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple3) -> (rule9 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((((((((triple3) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple3) -> (rule9 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
Fiona is not big.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "big" "-")
triple8
Fiona is smart.
True
2
proof
[(((triple8) -> rule6))]
("Fiona" "is" "smart" "+")
((triple8) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Dave is not round.
False
2
inv-proof
[(((triple5) -> rule4) OR ((triple6) -> rule5) OR ((triple6) -> rule8) OR ((((triple3) -> rule6)) -> rule5) OR ((((triple3) -> rule6)) -> rule8) OR ((((triple4 triple3) -> rule9)) -> rule4))]
("Dave" "is" "round" "-")
((triple5) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((triple6) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((triple6) -> (rule8 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((((triple3) -> (rule6 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple3) -> (rule6 % int2))) -> (rule8 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple4 triple3) -> (rule9 % int2))) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Fiona is round.
True
3
proof
[(((((triple8) -> rule6)) -> rule5))]
("Fiona" "is" "round" "+")
((((triple8) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Bob is not quiet.
False
4
inv-proof
[(((((triple2) -> rule3) triple1) -> rule9) OR ((((((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule3) triple1) -> rule9))]
("Bob" "is" "quiet" "-")
((((triple2) -> (rule3 % int2)) triple1) -> (rule9 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((((((((triple1) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple1) -> (rule9 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Fiona is rough.
True
4
proof
[(((((((triple8) -> rule6)) -> rule5)) -> rule1))]
("Fiona" "is" "rough" "+")
((((((triple8) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is not rough.
False
4
inv-proof
[(((((((triple8) -> rule6)) -> rule5)) -> rule1))]
("Fiona" "is" "rough" "-")
((((((triple8) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is blue.
True
5
proof
[(((((((((triple8) -> rule6)) -> rule5)) -> rule1)) -> rule3))]
("Fiona" "is" "blue" "+")
((((((((triple8) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is not blue.
False
5
inv-proof
[(((((((((triple8) -> rule6)) -> rule5)) -> rule1)) -> rule3))]
("Fiona" "is" "blue" "-")
((((((((triple8) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is quiet.
True
7
proof
[(((((((((((triple8) -> rule6)) -> rule5)) -> rule1)) -> rule3) triple8) -> rule9))]
("Fiona" "is" "quiet" "+")
((((((((((triple8) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple8) -> (rule9 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
Fiona is not quiet.
False
7
inv-proof
[(((((((((((triple8) -> rule6)) -> rule5)) -> rule1)) -> rule3) triple8) -> rule9))]
("Fiona" "is" "quiet" "-")
((((((((((triple8) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple8) -> (rule9 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
Harry is not round.
Unknown
inv-rconc
[@2: Harry is round.[CWA. Example of deepest failure = (rule4 <- rule9 <- FAIL)]]
("Harry" "is" "round" "-")
Harry is quiet.
Unknown
rconc
[@1: Harry is quiet.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("Harry" "is" "quiet" "+")
Harry is not smart.
Unknown
inv-rconc
[@1: Harry is smart.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "smart" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
Harry is not white.
Unknown
inv-random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Bob is big.[(triple1)] Bob is rough.[(triple2 OR ((((((triple1) -> rule6)) -> rule5)) -> rule1))] Dave is big.[(triple3)] Dave is blue.[(triple4 OR ((triple3 triple5) -> rule2) OR ((((((triple5) -> rule4)) -> rule1)) -> rule3) OR ((((((triple6) -> rule5)) -> rule1)) -> rule3) OR ((((((triple6) -> rule8)) -> rule1)) -> rule3) OR ((((((((triple3) -> rule6)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple3) -> rule6)) -> rule8)) -> rule1)) -> rule3))] Dave is quiet.[(triple5 OR ((triple4 triple3) -> rule9) OR ((((((((triple6) -> rule5)) -> rule1)) -> rule3) triple3) -> rule9) OR ((((((((triple6) -> rule8)) -> rule1)) -> rule3) triple3) -> rule9) OR ((((((((((triple3) -> rule6)) -> rule5)) -> rule1)) -> rule3) triple3) -> rule9) OR ((((((((((triple3) -> rule6)) -> rule8)) -> rule1)) -> rule3) triple3) -> rule9))] Dave is smart.[(triple6 OR ((triple3) -> rule6))] Dave is white.[(triple7)] Fiona is big.[(triple8)] Fiona is not white.[(triple9)] Harry is rough.[(triple10)] @1: Bob is blue.[(((triple2) -> rule3) OR ((((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule3))] Bob is smart.[(((triple1) -> rule6) OR ((((triple2) -> rule3)) -> rule7))] Dave is round.[(((triple5) -> rule4) OR ((triple6) -> rule5) OR ((triple6) -> rule8) OR ((((triple3) -> rule6)) -> rule5) OR ((((triple3) -> rule6)) -> rule8) OR ((((triple4 triple3) -> rule9)) -> rule4))] Fiona is smart.[(((triple8) -> rule6))] Harry is blue.[(((triple10) -> rule3))] @2: Bob is quiet.[(((((triple2) -> rule3) triple1) -> rule9) OR ((((((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule3) triple1) -> rule9))] Bob is round.[(((((triple1) -> rule6)) -> rule5) OR ((((((triple2) -> rule3)) -> rule7)) -> rule5) OR ((((((triple2) -> rule3) triple1) -> rule9)) -> rule4))] Dave is rough.[(((((triple5) -> rule4)) -> rule1) OR ((((triple6) -> rule5)) -> rule1) OR ((((triple6) -> rule8)) -> rule1) OR ((((((triple3) -> rule6)) -> rule5)) -> rule1) OR ((((((triple3) -> rule6)) -> rule8)) -> rule1) OR ((((((triple4 triple3) -> rule9)) -> rule4)) -> rule1))] Fiona is round.[(((((triple8) -> rule6)) -> rule5))] @3: Fiona is rough.[(((((((triple8) -> rule6)) -> rule5)) -> rule1))] @4: Fiona is blue.[(((((((((triple8) -> rule6)) -> rule5)) -> rule1)) -> rule3))] @5: Fiona is quiet.[(((((((((((triple8) -> rule6)) -> rule5)) -> rule1)) -> rule3) triple8) -> rule9))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
((((((triple1) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple4
((triple3 triple5) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((((((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((((triple6) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((((triple6) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((((((triple3) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((((((triple3) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
triple5
((triple4 triple3) -> (rule9 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((((((((triple6) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple3) -> (rule9 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((((triple6) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple3) -> (rule9 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((((((triple3) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple3) -> (rule9 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((((((((triple3) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple3) -> (rule9 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
Dave is smart.
("Dave" "is" "smart" "+")
triple6
((triple3) -> (rule6 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is not white.
("Fiona" "is" "white" "-")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Bob is blue.
("Bob" "is" "blue" "+")
((triple2) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((((((triple1) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
((triple1) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((((triple2) -> (rule3 % int2))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((triple5) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((triple6) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((triple6) -> (rule8 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((((triple3) -> (rule6 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple3) -> (rule6 % int2))) -> (rule8 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple4 triple3) -> (rule9 % int2))) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple8) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple10) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
((((triple2) -> (rule3 % int2)) triple1) -> (rule9 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((((((((triple1) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple1) -> (rule9 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is round.
("Bob" "is" "round" "+")
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((((triple2) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((triple2) -> (rule3 % int3)) triple1) -> (rule9 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
((((triple5) -> (rule4 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((triple6) -> (rule5 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((triple6) -> (rule8 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((((triple3) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((((triple3) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((((triple4 triple3) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
((((triple8) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
((((((triple8) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
((((((((triple8) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((((((((triple8) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple8) -> (rule9 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5