Anne is cold. Anne is quiet. Anne is smart. Bob is blue. Bob is not cold. Bob is rough. Bob is round. Bob is smart. Bob is young. Charlie is round. Harry is blue. All young, round people are smart. If Harry is smart then Harry is not cold. All young people are round. If someone is blue then they are rough. Rough people are young. If Bob is round then Bob is young. If Anne is blue then Anne is not quiet.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is not cold.
("Bob" "is" "cold" "-")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Harry is blue.
("Harry" "is" "blue" "+")
All young, round people are smart.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "smart" "+"))
If Harry is smart then Harry is not cold.
((("Harry" "is" "smart" "+")) -> ("Harry" "is" "cold" "-"))
All young people are round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is blue then they are rough.
((("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
Rough people are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If Bob is round then Bob is young.
((("Bob" "is" "round" "+")) -> ("Bob" "is" "young" "+"))
If Anne is blue then Anne is not quiet.
((("Anne" "is" "blue" "+")) -> ("Anne" "is" "quiet" "-"))
Bob is smart.
True
1
proof
[(triple8 OR ((triple9 triple7) -> rule1) OR ((triple9 ((triple9) -> rule3)) -> rule1) OR ((((triple6) -> rule5) triple7) -> rule1) OR ((((triple7) -> rule6) triple7) -> rule1) OR ((((triple6) -> rule5) ((triple9) -> rule3)) -> rule1) OR ((((triple7) -> rule6) ((triple9) -> rule3)) -> rule1) OR ((triple9 ((((triple6) -> rule5)) -> rule3)) -> rule1) OR ((((((triple4) -> rule4)) -> rule5) triple7) -> rule1) OR ((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule3)) -> rule1) OR ((((triple7) -> rule6) ((((triple6) -> rule5)) -> rule3)) -> rule1) OR ((((((triple4) -> rule4)) -> rule5) ((triple9) -> rule3)) -> rule1) OR ((((((triple4) -> rule4)) -> rule5) ((((triple6) -> rule5)) -> rule3)) -> rule1) OR ((triple9 ((((((triple4) -> rule4)) -> rule5)) -> rule3)) -> rule1) OR ((((triple6) -> rule5) ((((((triple4) -> rule4)) -> rule5)) -> rule3)) -> rule1) OR ((((triple7) -> rule6) ((((((triple4) -> rule4)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple4) -> rule4)) -> rule5) ((((((triple4) -> rule4)) -> rule5)) -> rule3)) -> rule1))]
("Bob" "is" "smart" "+")
triple8
((triple9 triple7) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((triple9 ((triple9) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple6) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple7) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple6) -> (rule5 % int3)) ((triple9) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple7) -> (rule6 % int3)) ((triple9) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((triple9 ((((triple6) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple4) -> (rule4 % int3))) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple6) -> (rule5 % int3)) ((((triple6) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple7) -> (rule6 % int3)) ((((triple6) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple4) -> (rule4 % int4))) -> (rule5 % int3)) ((triple9) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((triple4) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple6) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((triple9 ((((((triple4) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((triple6) -> (rule5 % int4)) ((((((triple4) -> (rule4 % int3))) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple7) -> (rule6 % int4)) ((((((triple4) -> (rule4 % int3))) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple4) -> (rule4 % int4))) -> (rule5 % int3)) ((((((triple4) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is not smart.
False
1
inv-proof
[(triple8 OR ((triple9 triple7) -> rule1) OR ((triple9 ((triple9) -> rule3)) -> rule1) OR ((((triple6) -> rule5) triple7) -> rule1) OR ((((triple7) -> rule6) triple7) -> rule1) OR ((((triple6) -> rule5) ((triple9) -> rule3)) -> rule1) OR ((((triple7) -> rule6) ((triple9) -> rule3)) -> rule1) OR ((triple9 ((((triple6) -> rule5)) -> rule3)) -> rule1) OR ((((((triple4) -> rule4)) -> rule5) triple7) -> rule1) OR ((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule3)) -> rule1) OR ((((triple7) -> rule6) ((((triple6) -> rule5)) -> rule3)) -> rule1) OR ((((((triple4) -> rule4)) -> rule5) ((triple9) -> rule3)) -> rule1) OR ((((((triple4) -> rule4)) -> rule5) ((((triple6) -> rule5)) -> rule3)) -> rule1) OR ((triple9 ((((((triple4) -> rule4)) -> rule5)) -> rule3)) -> rule1) OR ((((triple6) -> rule5) ((((((triple4) -> rule4)) -> rule5)) -> rule3)) -> rule1) OR ((((triple7) -> rule6) ((((((triple4) -> rule4)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple4) -> rule4)) -> rule5) ((((((triple4) -> rule4)) -> rule5)) -> rule3)) -> rule1))]
("Bob" "is" "smart" "-")
triple8
((triple9 triple7) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((triple9 ((triple9) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple6) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple7) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple6) -> (rule5 % int3)) ((triple9) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple7) -> (rule6 % int3)) ((triple9) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((triple9 ((((triple6) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple4) -> (rule4 % int3))) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple6) -> (rule5 % int3)) ((((triple6) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple7) -> (rule6 % int3)) ((((triple6) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple4) -> (rule4 % int4))) -> (rule5 % int3)) ((triple9) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((triple4) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple6) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((triple9 ((((((triple4) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((triple6) -> (rule5 % int4)) ((((((triple4) -> (rule4 % int3))) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple7) -> (rule6 % int4)) ((((((triple4) -> (rule4 % int3))) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple4) -> (rule4 % int4))) -> (rule5 % int3)) ((((((triple4) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Harry is rough.
True
2
proof
[(((triple11) -> rule4))]
("Harry" "is" "rough" "+")
((triple11) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not rough.
False
2
inv-proof
[(((triple11) -> rule4))]
("Harry" "is" "rough" "-")
((triple11) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is young.
True
3
proof
[(((((triple11) -> rule4)) -> rule5))]
("Harry" "is" "young" "+")
((((triple11) -> (rule4 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is not young.
False
3
inv-proof
[(((((triple11) -> rule4)) -> rule5))]
("Harry" "is" "young" "-")
((((triple11) -> (rule4 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is round.
True
4
proof
[(((((((triple11) -> rule4)) -> rule5)) -> rule3))]
("Harry" "is" "round" "+")
((((((triple11) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is not round.
False
4
inv-proof
[(((((((triple11) -> rule4)) -> rule5)) -> rule3))]
("Harry" "is" "round" "-")
((((((triple11) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is smart.
True
8
proof
[(((((((triple11) -> rule4)) -> rule5) ((((((triple11) -> rule4)) -> rule5)) -> rule3)) -> rule1))]
("Harry" "is" "smart" "+")
((((((triple11) -> (rule4 % int4))) -> (rule5 % int3)) ((((((triple11) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is not smart.
False
8
inv-proof
[(((((((triple11) -> rule4)) -> rule5) ((((((triple11) -> rule4)) -> rule5)) -> rule3)) -> rule1))]
("Harry" "is" "smart" "-")
((((((triple11) -> (rule4 % int4))) -> (rule5 % int3)) ((((((triple11) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is not cold.
True
9
proof
[(((((((((triple11) -> rule4)) -> rule5) ((((((triple11) -> rule4)) -> rule5)) -> rule3)) -> rule1)) -> rule2))]
("Harry" "is" "cold" "-")
((((((((triple11) -> (rule4 % int5))) -> (rule5 % int4)) ((((((triple11) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is not cold.
("Harry" "is" "cold" "-")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
Harry is cold.
False
9
inv-proof
[(((((((((triple11) -> rule4)) -> rule5) ((((((triple11) -> rule4)) -> rule5)) -> rule3)) -> rule1)) -> rule2))]
("Harry" "is" "cold" "+")
((((((((triple11) -> (rule4 % int5))) -> (rule5 % int4)) ((((((triple11) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is not cold.
("Harry" "is" "cold" "-")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
Anne is not rough.
Unknown
inv-rconc
[@1: Anne is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Anne" "is" "rough" "-")
Charlie is smart.
Unknown
rconc
[@3: Charlie is smart.[CWA. Example of deepest failure = (rule1 <- rule5 <- rule4 <- FAIL)]]
("Charlie" "is" "smart" "+")
Anne is not round.
Unknown
inv-rconc
[@3: Anne is round.[CWA. Example of deepest failure = (rule3 <- rule5 <- rule4 <- FAIL)]]
("Anne" "is" "round" "-")
Charlie is young.
Unknown
rconc
[@2: Charlie is young.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Charlie" "is" "young" "+")
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "rough" "-")
Anne is young.
Unknown
rconc
[@2: Anne is young.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Anne" "is" "young" "+")
Charlie is not quiet.
Unknown
inv-random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Harry is quiet.
Unknown
random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "+")
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2)] Anne is smart.[(triple3)] Bob is blue.[(triple4)] Bob is not cold.[(triple5)] Bob is rough.[(triple6 OR ((triple4) -> rule4))] Bob is round.[(triple7 OR ((triple9) -> rule3) OR ((((triple6) -> rule5)) -> rule3) OR ((((((triple4) -> rule4)) -> rule5)) -> rule3))] Bob is smart.[(triple8 OR ((triple9 triple7) -> rule1) OR ((triple9 ((triple9) -> rule3)) -> rule1) OR ((((triple6) -> rule5) triple7) -> rule1) OR ((((triple7) -> rule6) triple7) -> rule1) OR ((((triple6) -> rule5) ((triple9) -> rule3)) -> rule1) OR ((((triple7) -> rule6) ((triple9) -> rule3)) -> rule1) OR ((triple9 ((((triple6) -> rule5)) -> rule3)) -> rule1) OR ((((((triple4) -> rule4)) -> rule5) triple7) -> rule1) OR ((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule3)) -> rule1) OR ((((triple7) -> rule6) ((((triple6) -> rule5)) -> rule3)) -> rule1) OR ((((((triple4) -> rule4)) -> rule5) ((triple9) -> rule3)) -> rule1) OR ((((((triple4) -> rule4)) -> rule5) ((((triple6) -> rule5)) -> rule3)) -> rule1) OR ((triple9 ((((((triple4) -> rule4)) -> rule5)) -> rule3)) -> rule1) OR ((((triple6) -> rule5) ((((((triple4) -> rule4)) -> rule5)) -> rule3)) -> rule1) OR ((((triple7) -> rule6) ((((((triple4) -> rule4)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple4) -> rule4)) -> rule5) ((((((triple4) -> rule4)) -> rule5)) -> rule3)) -> rule1))] Bob is young.[(triple9 OR ((triple6) -> rule5) OR ((triple7) -> rule6) OR ((((triple4) -> rule4)) -> rule5))] Charlie is round.[(triple10)] Harry is blue.[(triple11)] @1: Harry is rough.[(((triple11) -> rule4))] @2: Harry is young.[(((((triple11) -> rule4)) -> rule5))] @3: Harry is round.[(((((((triple11) -> rule4)) -> rule5)) -> rule3))] @4: Harry is smart.[(((((((triple11) -> rule4)) -> rule5) ((((((triple11) -> rule4)) -> rule5)) -> rule3)) -> rule1))] @5: Harry is not cold.[(((((((((triple11) -> rule4)) -> rule5) ((((((triple11) -> rule4)) -> rule5)) -> rule3)) -> rule1)) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is not cold.
("Bob" "is" "cold" "-")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple6
((triple4) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
triple7
((triple9) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((((triple6) -> (rule5 % int2))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((((triple4) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
triple8
((triple9 triple7) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((triple9 ((triple9) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple6) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple7) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple6) -> (rule5 % int3)) ((triple9) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple7) -> (rule6 % int3)) ((triple9) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((triple9 ((((triple6) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple4) -> (rule4 % int3))) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple6) -> (rule5 % int3)) ((((triple6) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple7) -> (rule6 % int3)) ((((triple6) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple4) -> (rule4 % int4))) -> (rule5 % int3)) ((triple9) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((triple4) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple6) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((triple9 ((((((triple4) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((triple6) -> (rule5 % int4)) ((((((triple4) -> (rule4 % int3))) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple7) -> (rule6 % int4)) ((((((triple4) -> (rule4 % int3))) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple4) -> (rule4 % int4))) -> (rule5 % int3)) ((((((triple4) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
triple9
((triple6) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple7) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((triple4) -> (rule4 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
((triple11) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((((triple11) -> (rule4 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((((((triple11) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
((((((triple11) -> (rule4 % int4))) -> (rule5 % int3)) ((((((triple11) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is not cold.
("Harry" "is" "cold" "-")
((((((((triple11) -> (rule4 % int5))) -> (rule5 % int4)) ((((((triple11) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is not cold.
("Harry" "is" "cold" "-")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5