Anne is red. Charlie is kind. Charlie is red. Charlie is rough. Gary is blue. Gary is kind. Harry is rough. All young, smart people are rough. Smart, rough people are young. Blue people are smart. All rough people are young. If someone is smart then they are rough. If someone is kind then they are blue. All red people are kind. Furry people are young. All rough, kind people are blue.
Anne is red.
("Anne" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is rough.
("Harry" "is" "rough" "+")
All young, smart people are rough.
((("someone" "is" "young" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "rough" "+"))
Smart, rough people are young.
((("someone" "is" "smart" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
Blue people are smart.
((("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
All rough people are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is smart then they are rough.
((("someone" "is" "smart" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind then they are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
All red people are kind.
((("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
Furry people are young.
((("someone" "is" "furry" "+")) -> ("someone" "is" "young" "+"))
All rough, kind people are blue.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
Charlie is red.
True
1
proof
[(triple3)]
("Charlie" "is" "red" "+")
triple3
Anne is not red.
False
1
inv-proof
[(triple1)]
("Anne" "is" "red" "-")
triple1
Charlie is young.
True
2
proof
[(((triple4) -> rule4) OR ((((((triple2) -> rule6)) -> rule3) triple4) -> rule2) OR ((((((triple4 triple2) -> rule9)) -> rule3) triple4) -> rule2) OR ((((((((triple2) -> rule6)) -> rule3)) -> rule5)) -> rule4) OR ((((((((triple3) -> rule7)) -> rule6)) -> rule3) triple4) -> rule2) OR ((((((triple4 ((triple3) -> rule7)) -> rule9)) -> rule3) triple4) -> rule2) OR ((((((triple2) -> rule6)) -> rule3) ((((((triple2) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((((((triple4 triple2) -> rule9)) -> rule3) ((((((triple2) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((((((((triple3) -> rule7)) -> rule6)) -> rule3) ((((((triple2) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((((((triple4 ((triple3) -> rule7)) -> rule9)) -> rule3) ((((((triple2) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((((((((((triple3) -> rule7)) -> rule6)) -> rule3)) -> rule5)) -> rule4) OR ((((((triple2) -> rule6)) -> rule3) ((((((((triple3) -> rule7)) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((((((triple4 triple2) -> rule9)) -> rule3) ((((((((triple3) -> rule7)) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((((((((triple3) -> rule7)) -> rule6)) -> rule3) ((((((((triple3) -> rule7)) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((((((triple4 ((triple3) -> rule7)) -> rule9)) -> rule3) ((((((((triple3) -> rule7)) -> rule6)) -> rule3)) -> rule5)) -> rule2))]
("Charlie" "is" "young" "+")
((triple4) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((((triple2) -> (rule6 % int3))) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((triple4 triple2) -> (rule9 % int3))) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((((triple2) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((((triple3) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple4 ((triple3) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple2) -> (rule6 % int4))) -> (rule3 % int3)) ((((((triple2) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple4 triple2) -> (rule9 % int4))) -> (rule3 % int3)) ((((((triple2) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((((triple3) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule3 % int3)) ((((((triple2) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple4 ((triple3) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) ((((((triple2) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((((triple3) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple2) -> (rule6 % int5))) -> (rule3 % int4)) ((((((((triple3) -> (rule7 % int3))) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple4 triple2) -> (rule9 % int5))) -> (rule3 % int4)) ((((((((triple3) -> (rule7 % int3))) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((((triple3) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule3 % int3)) ((((((((triple3) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple4 ((triple3) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) ((((((((triple3) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Gary is not smart.
False
2
inv-proof
[(((triple5) -> rule3) OR ((((triple6) -> rule6)) -> rule3))]
("Gary" "is" "smart" "-")
((triple5) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((((triple6) -> (rule6 % int2))) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Charlie is smart.
True
3
proof
[(((((triple2) -> rule6)) -> rule3) OR ((((triple4 triple2) -> rule9)) -> rule3) OR ((((((triple3) -> rule7)) -> rule6)) -> rule3) OR ((((triple4 ((triple3) -> rule7)) -> rule9)) -> rule3))]
("Charlie" "is" "smart" "+")
((((triple2) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple4 triple2) -> (rule9 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((((triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple4 ((triple3) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Gary is not rough.
False
3
inv-proof
[(((((triple5) -> rule3)) -> rule5) OR ((((((triple6) -> rule6)) -> rule3)) -> rule5))]
("Gary" "is" "rough" "-")
((((triple5) -> (rule3 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((((triple6) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is young.
True
4
proof
[(((((((triple5) -> rule3)) -> rule5)) -> rule4) OR ((((triple5) -> rule3) ((((triple5) -> rule3)) -> rule5)) -> rule2) OR ((((((triple6) -> rule6)) -> rule3) ((((triple5) -> rule3)) -> rule5)) -> rule2) OR ((((((((triple6) -> rule6)) -> rule3)) -> rule5)) -> rule4) OR ((((triple5) -> rule3) ((((((triple6) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((((((triple6) -> rule6)) -> rule3) ((((((triple6) -> rule6)) -> rule3)) -> rule5)) -> rule2))]
("Gary" "is" "young" "+")
((((((triple5) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((triple5) -> (rule3 % int3)) ((((triple5) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple6) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple5) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((((((triple6) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple5) -> (rule3 % int4)) ((((((triple6) -> (rule6 % int3))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((((triple6) -> (rule6 % int4))) -> (rule3 % int3)) ((((((triple6) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Anne is not smart.
False
4
inv-proof
[(((((((triple1) -> rule7)) -> rule6)) -> rule3))]
("Anne" "is" "smart" "-")
((((((triple1) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is rough.
True
5
proof
[(((((((((triple1) -> rule7)) -> rule6)) -> rule3)) -> rule5))]
("Anne" "is" "rough" "+")
((((((((triple1) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is not rough.
False
5
inv-proof
[(((((((((triple1) -> rule7)) -> rule6)) -> rule3)) -> rule5))]
("Anne" "is" "rough" "-")
((((((((triple1) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is young.
True
6
proof
[(((((((((((triple1) -> rule7)) -> rule6)) -> rule3)) -> rule5)) -> rule4) OR ((((((((triple1) -> rule7)) -> rule6)) -> rule3) ((((((((triple1) -> rule7)) -> rule6)) -> rule3)) -> rule5)) -> rule2))]
("Anne" "is" "young" "+")
((((((((((triple1) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((((triple1) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule3 % int3)) ((((((((triple1) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is not young.
False
6
inv-proof
[(((((((((((triple1) -> rule7)) -> rule6)) -> rule3)) -> rule5)) -> rule4) OR ((((((((triple1) -> rule7)) -> rule6)) -> rule3) ((((((((triple1) -> rule7)) -> rule6)) -> rule3)) -> rule5)) -> rule2))]
("Anne" "is" "young" "-")
((((((((((triple1) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((((triple1) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule3 % int3)) ((((((((triple1) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Harry is not blue.
Unknown
inv-rconc
[@2: Harry is blue.[CWA. Example of deepest failure = (rule6 <- rule7 <- FAIL)]]
("Harry" "is" "blue" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "kind" "+")
Harry is not smart.
Unknown
inv-rconc
[@3: Harry is smart.[CWA. Example of deepest failure = (rule3 <- rule6 <- rule7 <- FAIL)]]
("Harry" "is" "smart" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Anne is red.[(triple1)] Charlie is kind.[(triple2 OR ((triple3) -> rule7))] Charlie is red.[(triple3)] Charlie is rough.[(triple4 OR ((((((triple2) -> rule6)) -> rule3)) -> rule5) OR ((((((((triple3) -> rule7)) -> rule6)) -> rule3)) -> rule5))] Gary is blue.[(triple5 OR ((triple6) -> rule6))] Gary is kind.[(triple6)] Harry is rough.[(triple7)] @1: Anne is kind.[(((triple1) -> rule7))] Charlie is blue.[(((triple2) -> rule6) OR ((triple4 triple2) -> rule9) OR ((((triple3) -> rule7)) -> rule6) OR ((triple4 ((triple3) -> rule7)) -> rule9))] Charlie is young.[(((triple4) -> rule4) OR ((((((triple2) -> rule6)) -> rule3) triple4) -> rule2) OR ((((((triple4 triple2) -> rule9)) -> rule3) triple4) -> rule2) OR ((((((((triple2) -> rule6)) -> rule3)) -> rule5)) -> rule4) OR ((((((((triple3) -> rule7)) -> rule6)) -> rule3) triple4) -> rule2) OR ((((((triple4 ((triple3) -> rule7)) -> rule9)) -> rule3) triple4) -> rule2) OR ((((((triple2) -> rule6)) -> rule3) ((((((triple2) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((((((triple4 triple2) -> rule9)) -> rule3) ((((((triple2) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((((((((triple3) -> rule7)) -> rule6)) -> rule3) ((((((triple2) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((((((triple4 ((triple3) -> rule7)) -> rule9)) -> rule3) ((((((triple2) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((((((((((triple3) -> rule7)) -> rule6)) -> rule3)) -> rule5)) -> rule4) OR ((((((triple2) -> rule6)) -> rule3) ((((((((triple3) -> rule7)) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((((((triple4 triple2) -> rule9)) -> rule3) ((((((((triple3) -> rule7)) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((((((((triple3) -> rule7)) -> rule6)) -> rule3) ((((((((triple3) -> rule7)) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((((((triple4 ((triple3) -> rule7)) -> rule9)) -> rule3) ((((((((triple3) -> rule7)) -> rule6)) -> rule3)) -> rule5)) -> rule2))] Gary is smart.[(((triple5) -> rule3) OR ((((triple6) -> rule6)) -> rule3))] Harry is young.[(((triple7) -> rule4))] @2: Anne is blue.[(((((triple1) -> rule7)) -> rule6))] Charlie is smart.[(((((triple2) -> rule6)) -> rule3) OR ((((triple4 triple2) -> rule9)) -> rule3) OR ((((((triple3) -> rule7)) -> rule6)) -> rule3) OR ((((triple4 ((triple3) -> rule7)) -> rule9)) -> rule3))] Gary is rough.[(((((triple5) -> rule3)) -> rule5) OR ((((((triple6) -> rule6)) -> rule3)) -> rule5))] @3: Anne is smart.[(((((((triple1) -> rule7)) -> rule6)) -> rule3))] Gary is young.[(((((((triple5) -> rule3)) -> rule5)) -> rule4) OR ((((triple5) -> rule3) ((((triple5) -> rule3)) -> rule5)) -> rule2) OR ((((((triple6) -> rule6)) -> rule3) ((((triple5) -> rule3)) -> rule5)) -> rule2) OR ((((((((triple6) -> rule6)) -> rule3)) -> rule5)) -> rule4) OR ((((triple5) -> rule3) ((((((triple6) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((((((triple6) -> rule6)) -> rule3) ((((((triple6) -> rule6)) -> rule3)) -> rule5)) -> rule2))] @4: Anne is rough.[(((((((((triple1) -> rule7)) -> rule6)) -> rule3)) -> rule5))] @5: Anne is young.[(((((((((((triple1) -> rule7)) -> rule6)) -> rule3)) -> rule5)) -> rule4) OR ((((((((triple1) -> rule7)) -> rule6)) -> rule3) ((((((((triple1) -> rule7)) -> rule6)) -> rule3)) -> rule5)) -> rule2))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
((triple3) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
((((((triple2) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((((triple3) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
((triple6) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Anne is kind.
("Anne" "is" "kind" "+")
((triple1) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple2) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((triple4 triple2) -> (rule9 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((((triple3) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((triple4 ((triple3) -> (rule7 % int2))) -> (rule9 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((triple4) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((((triple2) -> (rule6 % int3))) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((triple4 triple2) -> (rule9 % int3))) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((((triple2) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((((triple3) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple4 ((triple3) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple2) -> (rule6 % int4))) -> (rule3 % int3)) ((((((triple2) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple4 triple2) -> (rule9 % int4))) -> (rule3 % int3)) ((((((triple2) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((((triple3) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule3 % int3)) ((((((triple2) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple4 ((triple3) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) ((((((triple2) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((((triple3) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple2) -> (rule6 % int5))) -> (rule3 % int4)) ((((((((triple3) -> (rule7 % int3))) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple4 triple2) -> (rule9 % int5))) -> (rule3 % int4)) ((((((((triple3) -> (rule7 % int3))) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((((triple3) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule3 % int3)) ((((((((triple3) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple4 ((triple3) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) ((((((((triple3) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Gary is smart.
("Gary" "is" "smart" "+")
((triple5) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((((triple6) -> (rule6 % int2))) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((triple7) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
((((triple1) -> (rule7 % int2))) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
((((triple2) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple4 triple2) -> (rule9 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((((triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple4 ((triple3) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
((((triple5) -> (rule3 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((((triple6) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
((((((triple1) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
((((((triple5) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((triple5) -> (rule3 % int3)) ((((triple5) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple6) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple5) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((((((triple6) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple5) -> (rule3 % int4)) ((((((triple6) -> (rule6 % int3))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((((triple6) -> (rule6 % int4))) -> (rule3 % int3)) ((((((triple6) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
((((((((triple1) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
((((((((((triple1) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((((triple1) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule3 % int3)) ((((((((triple1) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5