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