Anne is big. Anne is cold. Anne is green. Anne is nice. Anne is rough. Anne is young. Bob is cold. Bob is young. Charlie is big. Harry is green. If Harry is cold then Harry is quiet. If something is cold and rough then it is nice. Nice things are big. Young things are green. Green things are rough. Nice things are young. If something is big then it is green. If something is big then it is quiet. If Anne is quiet then Anne is cold.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
If Harry is cold then Harry is quiet.
((("Harry" "is" "cold" "+")) -> ("Harry" "is" "quiet" "+"))
If something is cold and rough then it is nice.
((("something" "is" "cold" "+") ("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
Nice things are big.
((("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
Young things are green.
((("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
Green things are rough.
((("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
Nice things are young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
If something is big then it is green.
((("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
If something is big then it is quiet.
((("something" "is" "big" "+")) -> ("something" "is" "quiet" "+"))
If Anne is quiet then Anne is cold.
((("Anne" "is" "quiet" "+")) -> ("Anne" "is" "cold" "+"))
Harry is green.
True
1
proof
[(triple10)]
("Harry" "is" "green" "+")
triple10
Bob is not young.
False
1
inv-proof
[(triple8)]
("Bob" "is" "young" "-")
triple8
Harry is rough.
True
2
proof
[(((triple10) -> rule5))]
("Harry" "is" "rough" "+")
((triple10) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Bob is not green.
False
2
inv-proof
[(((triple8) -> rule4))]
("Bob" "is" "green" "-")
((triple8) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Charlie is rough.
True
3
proof
[(((((triple9) -> rule7)) -> rule5))]
("Charlie" "is" "rough" "+")
((((triple9) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Bob is not rough.
False
3
inv-proof
[(((((triple8) -> rule4)) -> rule5))]
("Bob" "is" "rough" "-")
((((triple8) -> (rule4 % int2))) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
True
5
proof
[(((triple7 ((((triple8) -> rule4)) -> rule5)) -> rule2))]
("Bob" "is" "nice" "+")
((triple7 ((((triple8) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is not nice.
False
5
inv-proof
[(((triple7 ((((triple8) -> rule4)) -> rule5)) -> rule2))]
("Bob" "is" "nice" "-")
((triple7 ((((triple8) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is big.
True
6
proof
[(((((triple7 ((((triple8) -> rule4)) -> rule5)) -> rule2)) -> rule3))]
("Bob" "is" "big" "+")
((((triple7 ((((triple8) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is not big.
False
6
inv-proof
[(((((triple7 ((((triple8) -> rule4)) -> rule5)) -> rule2)) -> rule3))]
("Bob" "is" "big" "-")
((((triple7 ((((triple8) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is quiet.
True
7
proof
[(((((((triple7 ((((triple8) -> rule4)) -> rule5)) -> rule2)) -> rule3)) -> rule8))]
("Bob" "is" "quiet" "+")
((((((triple7 ((((triple8) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Bob is not quiet.
False
7
inv-proof
[(((((((triple7 ((((triple8) -> rule4)) -> rule5)) -> rule2)) -> rule3)) -> rule8))]
("Bob" "is" "quiet" "-")
((((((triple7 ((((triple8) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Harry is not quiet.
Unknown
inv-rconc
[@3: Harry is quiet.[CWA. Example of deepest failure = (rule8 <- rule3 <- rule2 <- FAIL)]]
("Harry" "is" "quiet" "-")
Harry is big.
Unknown
rconc
[@2: Harry is big.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Harry" "is" "big" "+")
Harry is not young.
Unknown
inv-rconc
[@2: Harry is young.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Harry" "is" "young" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "nice" "+")
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "nice" "-")
Charlie is young.
Unknown
rconc
[@2: Charlie is young.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Charlie" "is" "young" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Anne is big.[(triple1 OR ((triple4) -> rule3) OR ((((triple2 triple5) -> rule2)) -> rule3) OR ((((triple2 ((triple3) -> rule5)) -> rule2)) -> rule3) OR ((((triple2 ((((triple6) -> rule4)) -> rule5)) -> rule2)) -> rule3))] Anne is cold.[(triple2 OR ((((triple1) -> rule8)) -> rule9) OR ((((((triple4) -> rule3)) -> rule8)) -> rule9))] Anne is green.[(triple3 OR ((triple1) -> rule7) OR ((triple6) -> rule4) OR ((((triple4) -> rule3)) -> rule7) OR ((((triple4) -> rule6)) -> rule4) OR ((((((triple2 triple5) -> rule2)) -> rule3)) -> rule7) OR ((((((triple2 triple5) -> rule2)) -> rule6)) -> rule4) OR ((((((((((triple1) -> rule8)) -> rule9) triple5) -> rule2)) -> rule6)) -> rule4))] Anne is nice.[(triple4 OR ((triple2 triple5) -> rule2) OR ((triple2 ((triple3) -> rule5)) -> rule2) OR ((triple2 ((((triple1) -> rule7)) -> rule5)) -> rule2) OR ((triple2 ((((triple6) -> rule4)) -> rule5)) -> rule2) OR ((((((triple1) -> rule8)) -> rule9) triple5) -> rule2) OR ((((((triple1) -> rule8)) -> rule9) ((triple3) -> rule5)) -> rule2) OR ((((((triple1) -> rule8)) -> rule9) ((((triple1) -> rule7)) -> rule5)) -> rule2) OR ((((((triple1) -> rule8)) -> rule9) ((((triple6) -> rule4)) -> rule5)) -> rule2))] Anne is rough.[(triple5 OR ((triple3) -> rule5) OR ((((triple1) -> rule7)) -> rule5) OR ((((triple6) -> rule4)) -> rule5) OR ((((((triple4) -> rule3)) -> rule7)) -> rule5) OR ((((((triple4) -> rule6)) -> rule4)) -> rule5))] Anne is young.[(triple6 OR ((triple4) -> rule6) OR ((((triple2 triple5) -> rule2)) -> rule6) OR ((((triple2 ((triple3) -> rule5)) -> rule2)) -> rule6) OR ((((triple2 ((((triple1) -> rule7)) -> rule5)) -> rule2)) -> rule6) OR ((((((((triple1) -> rule8)) -> rule9) triple5) -> rule2)) -> rule6) OR ((((((((triple1) -> rule8)) -> rule9) ((triple3) -> rule5)) -> rule2)) -> rule6) OR ((((((((triple1) -> rule8)) -> rule9) ((((triple1) -> rule7)) -> rule5)) -> rule2)) -> rule6))] Bob is cold.[(triple7)] Bob is young.[(triple8)] Charlie is big.[(triple9)] Harry is green.[(triple10)] @1: Anne is quiet.[(((triple1) -> rule8) OR ((((triple4) -> rule3)) -> rule8) OR ((((((triple2 triple5) -> rule2)) -> rule3)) -> rule8) OR ((((((triple2 ((triple3) -> rule5)) -> rule2)) -> rule3)) -> rule8) OR ((((((triple2 ((((triple6) -> rule4)) -> rule5)) -> rule2)) -> rule3)) -> rule8))] Bob is green.[(((triple8) -> rule4))] Charlie is green.[(((triple9) -> rule7))] Charlie is quiet.[(((triple9) -> rule8))] Harry is rough.[(((triple10) -> rule5))] @2: Bob is rough.[(((((triple8) -> rule4)) -> rule5))] Charlie is rough.[(((((triple9) -> rule7)) -> rule5))] @3: Bob is nice.[(((triple7 ((((triple8) -> rule4)) -> rule5)) -> rule2))] @4: Bob is big.[(((((triple7 ((((triple8) -> rule4)) -> rule5)) -> rule2)) -> rule3))] @5: Bob is quiet.[(((((((triple7 ((((triple8) -> rule4)) -> rule5)) -> rule2)) -> rule3)) -> rule8))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple4) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((triple2 triple5) -> (rule2 % int2))) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((triple2 ((triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((triple2 ((((triple6) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
triple2
((((triple1) -> (rule8 % int2))) -> (rule9 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((((((triple4) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
triple3
((triple1) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((triple6) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((((triple4) -> (rule3 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((triple4) -> (rule6 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((((triple2 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple2 triple5) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((((((triple1) -> (rule8 % int5))) -> (rule9 % int4)) triple5) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
triple4
((triple2 triple5) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple2 ((triple3) -> (rule5 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((triple2 ((((triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((triple2 ((((triple6) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((((triple1) -> (rule8 % int3))) -> (rule9 % int2)) triple5) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((((((triple1) -> (rule8 % int4))) -> (rule9 % int3)) ((triple3) -> (rule5 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((((triple1) -> (rule8 % int5))) -> (rule9 % int4)) ((((triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((triple1) -> (rule8 % int5))) -> (rule9 % int4)) ((((triple6) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Anne is rough.
("Anne" "is" "rough" "+")
triple5
((triple3) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple1) -> (rule7 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple6) -> (rule4 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((((triple4) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((triple4) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
triple6
((triple4) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((((triple2 triple5) -> (rule2 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((triple2 ((triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((triple2 ((((triple1) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((((triple1) -> (rule8 % int4))) -> (rule9 % int3)) triple5) -> (rule2 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((((((triple1) -> (rule8 % int5))) -> (rule9 % int4)) ((triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((triple1) -> (rule8 % int6))) -> (rule9 % int5)) ((((triple1) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is quiet.
("Anne" "is" "quiet" "+")
int6
Bob is cold.
("Bob" "is" "cold" "+")
triple7
Bob is young.
("Bob" "is" "young" "+")
triple8
Charlie is big.
("Charlie" "is" "big" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple10
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple1) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((((triple4) -> (rule3 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((((triple2 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple2 ((triple3) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((triple2 ((((triple6) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
((triple8) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple9) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple9) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple10) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((((triple8) -> (rule4 % int2))) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple9) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((triple7 ((((triple8) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
((((triple7 ((((triple8) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
((((((triple7 ((((triple8) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5