Anne is cold. Anne is kind. Bob is round. Bob is smart. Harry is blue. Harry is cold. Harry is green. All kind, blue things are rough. Cold things are kind. If something is rough and cold then it is round. If something is cold and blue then it is green. If Bob is cold then Bob is round. Round things are cold. All blue things are cold. All green things are kind.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
All kind, blue things are rough.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
Cold things are kind.
((("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
If something is rough and cold then it is round.
((("something" "is" "rough" "+") ("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
If something is cold and blue then it is green.
((("something" "is" "cold" "+") ("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
If Bob is cold then Bob is round.
((("Bob" "is" "cold" "+")) -> ("Bob" "is" "round" "+"))
Round things are cold.
((("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
All blue things are cold.
((("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
All green things are kind.
((("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
Anne is kind.
True
1
proof
[(triple2 OR ((triple1) -> rule2))]
("Anne" "is" "kind" "+")
triple2
((triple1) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Bob is not smart.
False
1
inv-proof
[(triple4)]
("Bob" "is" "smart" "-")
triple4
Harry is kind.
True
2
proof
[(((triple6) -> rule2) OR ((triple7) -> rule8) OR ((((triple5) -> rule7)) -> rule2) OR ((((triple6 triple5) -> rule4)) -> rule8) OR ((((((triple5) -> rule7) triple5) -> rule4)) -> rule8))]
("Harry" "is" "kind" "+")
((triple6) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple7) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((((triple5) -> (rule7 % int2))) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple6 triple5) -> (rule4 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((((triple5) -> (rule7 % int3)) triple5) -> (rule4 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Bob is not cold.
False
2
inv-proof
[(((triple3) -> rule6))]
("Bob" "is" "cold" "-")
((triple3) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Harry is rough.
True
4
proof
[(((((triple6) -> rule2) triple5) -> rule1) OR ((((triple7) -> rule8) triple5) -> rule1) OR ((((((triple5) -> rule7)) -> rule2) triple5) -> rule1) OR ((((((triple6 triple5) -> rule4)) -> rule8) triple5) -> rule1) OR ((((((((triple5) -> rule7) triple5) -> rule4)) -> rule8) triple5) -> rule1))]
("Harry" "is" "rough" "+")
((((triple6) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple7) -> (rule8 % int2)) triple5) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((((triple5) -> (rule7 % int3))) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((((triple6 triple5) -> (rule4 % int3))) -> (rule8 % int2)) triple5) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((((((triple5) -> (rule7 % int4)) triple5) -> (rule4 % int3))) -> (rule8 % int2)) triple5) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is not rough.
False
4
inv-proof
[(((((triple6) -> rule2) triple5) -> rule1) OR ((((triple7) -> rule8) triple5) -> rule1) OR ((((((triple5) -> rule7)) -> rule2) triple5) -> rule1) OR ((((((triple6 triple5) -> rule4)) -> rule8) triple5) -> rule1) OR ((((((((triple5) -> rule7) triple5) -> rule4)) -> rule8) triple5) -> rule1))]
("Harry" "is" "rough" "-")
((((triple6) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple7) -> (rule8 % int2)) triple5) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((((triple5) -> (rule7 % int3))) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((((triple6 triple5) -> (rule4 % int3))) -> (rule8 % int2)) triple5) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((((((triple5) -> (rule7 % int4)) triple5) -> (rule4 % int3))) -> (rule8 % int2)) triple5) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is round.
True
6
proof
[(((((((triple6) -> rule2) triple5) -> rule1) triple6) -> rule3) OR ((((((triple7) -> rule8) triple5) -> rule1) triple6) -> rule3) OR ((((((triple6) -> rule2) triple5) -> rule1) ((triple5) -> rule7)) -> rule3) OR ((((((triple7) -> rule8) triple5) -> rule1) ((triple5) -> rule7)) -> rule3) OR ((((((((triple5) -> rule7)) -> rule2) triple5) -> rule1) triple6) -> rule3) OR ((((((((triple6 triple5) -> rule4)) -> rule8) triple5) -> rule1) triple6) -> rule3) OR ((((((((triple5) -> rule7)) -> rule2) triple5) -> rule1) ((triple5) -> rule7)) -> rule3) OR ((((((((triple6 triple5) -> rule4)) -> rule8) triple5) -> rule1) ((triple5) -> rule7)) -> rule3) OR ((((((((((triple5) -> rule7) triple5) -> rule4)) -> rule8) triple5) -> rule1) triple6) -> rule3) OR ((((((((((triple5) -> rule7) triple5) -> rule4)) -> rule8) triple5) -> rule1) ((triple5) -> rule7)) -> rule3))]
("Harry" "is" "round" "+")
((((((triple6) -> (rule2 % int3)) triple5) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((triple7) -> (rule8 % int3)) triple5) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((triple6) -> (rule2 % int4)) triple5) -> (rule1 % int3)) ((triple5) -> (rule7 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((triple7) -> (rule8 % int4)) triple5) -> (rule1 % int3)) ((triple5) -> (rule7 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((((triple5) -> (rule7 % int4))) -> (rule2 % int3)) triple5) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((((triple6 triple5) -> (rule4 % int4))) -> (rule8 % int3)) triple5) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((((triple5) -> (rule7 % int4))) -> (rule2 % int3)) triple5) -> (rule1 % int2)) ((triple5) -> (rule7 % int4))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((((triple6 triple5) -> (rule4 % int5))) -> (rule8 % int4)) triple5) -> (rule1 % int3)) ((triple5) -> (rule7 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((((((triple5) -> (rule7 % int5)) triple5) -> (rule4 % int4))) -> (rule8 % int3)) triple5) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((((((triple5) -> (rule7 % int5)) triple5) -> (rule4 % int4))) -> (rule8 % int3)) triple5) -> (rule1 % int2)) ((triple5) -> (rule7 % int5))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is not round.
False
6
inv-proof
[(((((((triple6) -> rule2) triple5) -> rule1) triple6) -> rule3) OR ((((((triple7) -> rule8) triple5) -> rule1) triple6) -> rule3) OR ((((((triple6) -> rule2) triple5) -> rule1) ((triple5) -> rule7)) -> rule3) OR ((((((triple7) -> rule8) triple5) -> rule1) ((triple5) -> rule7)) -> rule3) OR ((((((((triple5) -> rule7)) -> rule2) triple5) -> rule1) triple6) -> rule3) OR ((((((((triple6 triple5) -> rule4)) -> rule8) triple5) -> rule1) triple6) -> rule3) OR ((((((((triple5) -> rule7)) -> rule2) triple5) -> rule1) ((triple5) -> rule7)) -> rule3) OR ((((((((triple6 triple5) -> rule4)) -> rule8) triple5) -> rule1) ((triple5) -> rule7)) -> rule3) OR ((((((((((triple5) -> rule7) triple5) -> rule4)) -> rule8) triple5) -> rule1) triple6) -> rule3) OR ((((((((((triple5) -> rule7) triple5) -> rule4)) -> rule8) triple5) -> rule1) ((triple5) -> rule7)) -> rule3))]
("Harry" "is" "round" "-")
((((((triple6) -> (rule2 % int3)) triple5) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((triple7) -> (rule8 % int3)) triple5) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((triple6) -> (rule2 % int4)) triple5) -> (rule1 % int3)) ((triple5) -> (rule7 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((triple7) -> (rule8 % int4)) triple5) -> (rule1 % int3)) ((triple5) -> (rule7 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((((triple5) -> (rule7 % int4))) -> (rule2 % int3)) triple5) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((((triple6 triple5) -> (rule4 % int4))) -> (rule8 % int3)) triple5) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((((triple5) -> (rule7 % int4))) -> (rule2 % int3)) triple5) -> (rule1 % int2)) ((triple5) -> (rule7 % int4))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((((triple6 triple5) -> (rule4 % int5))) -> (rule8 % int4)) triple5) -> (rule1 % int3)) ((triple5) -> (rule7 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((((((triple5) -> (rule7 % int5)) triple5) -> (rule4 % int4))) -> (rule8 % int3)) triple5) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((((((triple5) -> (rule7 % int5)) triple5) -> (rule4 % int4))) -> (rule8 % int3)) triple5) -> (rule1 % int2)) ((triple5) -> (rule7 % int5))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Anne is not round.
Unknown
inv-rconc
[@2: Anne is round.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Anne" "is" "round" "-")
Anne is rough.
Unknown
rconc
[@1: Anne is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "rough" "+")
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "rough" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "green" "+")
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2 OR ((triple1) -> rule2))] Bob is round.[(triple3)] Bob is smart.[(triple4)] Harry is blue.[(triple5)] Harry is cold.[(triple6 OR ((triple5) -> rule7))] Harry is green.[(triple7 OR ((triple6 triple5) -> rule4) OR ((((triple5) -> rule7) triple5) -> rule4))] @1: Bob is cold.[(((triple3) -> rule6))] Harry is kind.[(((triple6) -> rule2) OR ((triple7) -> rule8) OR ((((triple5) -> rule7)) -> rule2) OR ((((triple6 triple5) -> rule4)) -> rule8) OR ((((((triple5) -> rule7) triple5) -> rule4)) -> rule8))] @2: Bob is kind.[(((((triple3) -> rule6)) -> rule2))] Harry is rough.[(((((triple6) -> rule2) triple5) -> rule1) OR ((((triple7) -> rule8) triple5) -> rule1) OR ((((((triple5) -> rule7)) -> rule2) triple5) -> rule1) OR ((((((triple6 triple5) -> rule4)) -> rule8) triple5) -> rule1) OR ((((((((triple5) -> rule7) triple5) -> rule4)) -> rule8) triple5) -> rule1))] @3: Harry is round.[(((((((triple6) -> rule2) triple5) -> rule1) triple6) -> rule3) OR ((((((triple7) -> rule8) triple5) -> rule1) triple6) -> rule3) OR ((((((triple6) -> rule2) triple5) -> rule1) ((triple5) -> rule7)) -> rule3) OR ((((((triple7) -> rule8) triple5) -> rule1) ((triple5) -> rule7)) -> rule3) OR ((((((((triple5) -> rule7)) -> rule2) triple5) -> rule1) triple6) -> rule3) OR ((((((((triple6 triple5) -> rule4)) -> rule8) triple5) -> rule1) triple6) -> rule3) OR ((((((((triple5) -> rule7)) -> rule2) triple5) -> rule1) ((triple5) -> rule7)) -> rule3) OR ((((((((triple6 triple5) -> rule4)) -> rule8) triple5) -> rule1) ((triple5) -> rule7)) -> rule3) OR ((((((((((triple5) -> rule7) triple5) -> rule4)) -> rule8) triple5) -> rule1) triple6) -> rule3) OR ((((((((((triple5) -> rule7) triple5) -> rule4)) -> rule8) triple5) -> rule1) ((triple5) -> rule7)) -> rule3))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
((triple1) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
triple3
Bob is smart.
("Bob" "is" "smart" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple5
Harry is cold.
("Harry" "is" "cold" "+")
triple6
((triple5) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple7
((triple6 triple5) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((((triple5) -> (rule7 % int2)) triple5) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
((triple3) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple6) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple7) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((((triple5) -> (rule7 % int2))) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple6 triple5) -> (rule4 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((((triple5) -> (rule7 % int3)) triple5) -> (rule4 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
((((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
((((triple6) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple7) -> (rule8 % int2)) triple5) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((((triple5) -> (rule7 % int3))) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((((triple6 triple5) -> (rule4 % int3))) -> (rule8 % int2)) triple5) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((((((triple5) -> (rule7 % int4)) triple5) -> (rule4 % int3))) -> (rule8 % int2)) triple5) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
((((((triple6) -> (rule2 % int3)) triple5) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((triple7) -> (rule8 % int3)) triple5) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((triple6) -> (rule2 % int4)) triple5) -> (rule1 % int3)) ((triple5) -> (rule7 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((triple7) -> (rule8 % int4)) triple5) -> (rule1 % int3)) ((triple5) -> (rule7 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((((triple5) -> (rule7 % int4))) -> (rule2 % int3)) triple5) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((((triple6 triple5) -> (rule4 % int4))) -> (rule8 % int3)) triple5) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((((triple5) -> (rule7 % int4))) -> (rule2 % int3)) triple5) -> (rule1 % int2)) ((triple5) -> (rule7 % int4))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((((triple6 triple5) -> (rule4 % int5))) -> (rule8 % int4)) triple5) -> (rule1 % int3)) ((triple5) -> (rule7 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((((((triple5) -> (rule7 % int5)) triple5) -> (rule4 % int4))) -> (rule8 % int3)) triple5) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((((((triple5) -> (rule7 % int5)) triple5) -> (rule4 % int4))) -> (rule8 % int3)) triple5) -> (rule1 % int2)) ((triple5) -> (rule7 % int5))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5