Anne is green. Anne is kind. Anne is red. Anne is rough. Anne is round. Anne is smart. Anne is white. Charlie is green. Charlie is kind. Charlie is red. Charlie is round. Charlie is smart. Fiona is green. Fiona is kind. Fiona is smart. All round, kind things are rough. If something is kind and round then it is rough. Red things are green. If something is white then it is red. Rough, green things are smart. If Fiona is kind then Fiona is round. If something is green then it is kind. If something is smart and white then it is kind.
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
All round, kind things are rough.
((("something" "is" "round" "+") ("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
If something is kind and round then it is rough.
((("something" "is" "kind" "+") ("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
Red things are green.
((("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
If something is white then it is red.
((("something" "is" "white" "+")) -> ("something" "is" "red" "+"))
Rough, green things are smart.
((("something" "is" "rough" "+") ("something" "is" "green" "+")) -> ("something" "is" "smart" "+"))
If Fiona is kind then Fiona is round.
((("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "round" "+"))
If something is green then it is kind.
((("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
If something is smart and white then it is kind.
((("something" "is" "smart" "+") ("something" "is" "white" "+")) -> ("something" "is" "kind" "+"))
Charlie is red.
True
1
proof
[(triple10)]
("Charlie" "is" "red" "+")
triple10
Anne is not green.
False
1
inv-proof
[(triple1 OR ((triple3) -> rule3) OR ((((triple7) -> rule4)) -> rule3))]
("Anne" "is" "green" "-")
triple1
((triple3) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((((triple7) -> (rule4 % int2))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Charlie is rough.
True
3
proof
[(((triple11 triple9) -> rule1) OR ((triple9 triple11) -> rule2) OR ((triple11 ((triple8) -> rule7)) -> rule1) OR ((((triple8) -> rule7) triple11) -> rule2) OR ((triple11 ((((triple10) -> rule3)) -> rule7)) -> rule1) OR ((((((triple10) -> rule3)) -> rule7) triple11) -> rule2))]
("Charlie" "is" "rough" "+")
((triple11 triple9) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((triple9 triple11) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((triple11 ((triple8) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple8) -> (rule7 % int2)) triple11) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((triple11 ((((triple10) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((((triple10) -> (rule3 % int3))) -> (rule7 % int2)) triple11) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Fiona is not round.
False
2
inv-proof
[(((triple14) -> rule6) OR ((((triple13) -> rule7)) -> rule6))]
("Fiona" "is" "round" "-")
((triple14) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((((triple13) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is not red.
Unknown
inv-rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "red" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Anne is green.[(triple1 OR ((triple3) -> rule3) OR ((((triple7) -> rule4)) -> rule3))] Anne is kind.[(triple2 OR ((triple1) -> rule7) OR ((triple6 triple7) -> rule8) OR ((((triple3) -> rule3)) -> rule7) OR ((((triple4 triple1) -> rule5) triple7) -> rule8) OR ((((((triple7) -> rule4)) -> rule3)) -> rule7) OR ((((triple4 ((triple3) -> rule3)) -> rule5) triple7) -> rule8) OR ((((triple4 ((((triple7) -> rule4)) -> rule3)) -> rule5) triple7) -> rule8))] Anne is red.[(triple3 OR ((triple7) -> rule4))] Anne is rough.[(triple4 OR ((triple2 triple5) -> rule2) OR ((triple5 triple2) -> rule1) OR ((triple5 ((triple1) -> rule7)) -> rule1) OR ((triple5 ((triple6 triple7) -> rule8)) -> rule1) OR ((((triple1) -> rule7) triple5) -> rule2) OR ((((triple6 triple7) -> rule8) triple5) -> rule2) OR ((triple5 ((((triple3) -> rule3)) -> rule7)) -> rule1) OR ((((((triple3) -> rule3)) -> rule7) triple5) -> rule2) OR ((triple5 ((((((triple7) -> rule4)) -> rule3)) -> rule7)) -> rule1) OR ((((((((triple7) -> rule4)) -> rule3)) -> rule7) triple5) -> rule2))] Anne is round.[(triple5)] Anne is smart.[(triple6 OR ((triple4 triple1) -> rule5) OR ((triple4 ((triple3) -> rule3)) -> rule5) OR ((((triple2 triple5) -> rule2) triple1) -> rule5) OR ((((triple5 triple2) -> rule1) triple1) -> rule5) OR ((((triple2 triple5) -> rule2) ((triple3) -> rule3)) -> rule5) OR ((((triple5 triple2) -> rule1) ((triple3) -> rule3)) -> rule5) OR ((triple4 ((((triple7) -> rule4)) -> rule3)) -> rule5) OR ((((triple5 ((triple1) -> rule7)) -> rule1) triple1) -> rule5) OR ((((((triple1) -> rule7) triple5) -> rule2) triple1) -> rule5) OR ((((triple2 triple5) -> rule2) ((((triple7) -> rule4)) -> rule3)) -> rule5) OR ((((triple5 triple2) -> rule1) ((((triple7) -> rule4)) -> rule3)) -> rule5) OR ((((triple5 ((triple1) -> rule7)) -> rule1) ((triple3) -> rule3)) -> rule5) OR ((((((triple1) -> rule7) triple5) -> rule2) ((triple3) -> rule3)) -> rule5) OR ((((triple5 ((triple1) -> rule7)) -> rule1) ((((triple7) -> rule4)) -> rule3)) -> rule5) OR ((((((triple1) -> rule7) triple5) -> rule2) ((((triple7) -> rule4)) -> rule3)) -> rule5) OR ((((triple5 ((((triple3) -> rule3)) -> rule7)) -> rule1) triple1) -> rule5) OR ((((((((triple3) -> rule3)) -> rule7) triple5) -> rule2) triple1) -> rule5) OR ((((triple5 ((((triple3) -> rule3)) -> rule7)) -> rule1) ((triple3) -> rule3)) -> rule5) OR ((((((((triple3) -> rule3)) -> rule7) triple5) -> rule2) ((triple3) -> rule3)) -> rule5) OR ((((triple5 ((((triple3) -> rule3)) -> rule7)) -> rule1) ((((triple7) -> rule4)) -> rule3)) -> rule5) OR ((((((((triple3) -> rule3)) -> rule7) triple5) -> rule2) ((((triple7) -> rule4)) -> rule3)) -> rule5) OR ((((triple5 ((((((triple7) -> rule4)) -> rule3)) -> rule7)) -> rule1) triple1) -> rule5) OR ((((((((((triple7) -> rule4)) -> rule3)) -> rule7) triple5) -> rule2) triple1) -> rule5) OR ((((triple5 ((((((triple7) -> rule4)) -> rule3)) -> rule7)) -> rule1) ((triple3) -> rule3)) -> rule5) OR ((((((((((triple7) -> rule4)) -> rule3)) -> rule7) triple5) -> rule2) ((triple3) -> rule3)) -> rule5) OR ((((triple5 ((((((triple7) -> rule4)) -> rule3)) -> rule7)) -> rule1) ((((triple7) -> rule4)) -> rule3)) -> rule5) OR ((((((((((triple7) -> rule4)) -> rule3)) -> rule7) triple5) -> rule2) ((((triple7) -> rule4)) -> rule3)) -> rule5))] Anne is white.[(triple7)] Charlie is green.[(triple8 OR ((triple10) -> rule3))] Charlie is kind.[(triple9 OR ((triple8) -> rule7) OR ((((triple10) -> rule3)) -> rule7))] Charlie is red.[(triple10)] Charlie is round.[(triple11)] Charlie is smart.[(triple12 OR ((((triple11 triple9) -> rule1) triple8) -> rule5) OR ((((triple9 triple11) -> rule2) triple8) -> rule5) OR ((((triple11 triple9) -> rule1) ((triple10) -> rule3)) -> rule5) OR ((((triple9 triple11) -> rule2) ((triple10) -> rule3)) -> rule5) OR ((((triple11 ((triple8) -> rule7)) -> rule1) triple8) -> rule5) OR ((((((triple8) -> rule7) triple11) -> rule2) triple8) -> rule5) OR ((((triple11 ((triple8) -> rule7)) -> rule1) ((triple10) -> rule3)) -> rule5) OR ((((((triple8) -> rule7) triple11) -> rule2) ((triple10) -> rule3)) -> rule5) OR ((((triple11 ((((triple10) -> rule3)) -> rule7)) -> rule1) triple8) -> rule5) OR ((((((((triple10) -> rule3)) -> rule7) triple11) -> rule2) triple8) -> rule5) OR ((((triple11 ((((triple10) -> rule3)) -> rule7)) -> rule1) ((triple10) -> rule3)) -> rule5) OR ((((((((triple10) -> rule3)) -> rule7) triple11) -> rule2) ((triple10) -> rule3)) -> rule5))] Fiona is green.[(triple13)] Fiona is kind.[(triple14 OR ((triple13) -> rule7))] Fiona is smart.[(triple15 OR ((((triple14 ((triple14) -> rule6)) -> rule2) triple13) -> rule5) OR ((((((triple14) -> rule6) triple14) -> rule1) triple13) -> rule5) OR ((((((triple13) -> rule7) ((triple14) -> rule6)) -> rule2) triple13) -> rule5) OR ((((((triple14) -> rule6) ((triple13) -> rule7)) -> rule1) triple13) -> rule5) OR ((((triple14 ((((triple13) -> rule7)) -> rule6)) -> rule2) triple13) -> rule5) OR ((((((((triple13) -> rule7)) -> rule6) triple14) -> rule1) triple13) -> rule5) OR ((((((triple13) -> rule7) ((((triple13) -> rule7)) -> rule6)) -> rule2) triple13) -> rule5) OR ((((((((triple13) -> rule7)) -> rule6) ((triple13) -> rule7)) -> rule1) triple13) -> rule5))] @1: Charlie is rough.[(((triple11 triple9) -> rule1) OR ((triple9 triple11) -> rule2) OR ((triple11 ((triple8) -> rule7)) -> rule1) OR ((((triple8) -> rule7) triple11) -> rule2) OR ((triple11 ((((triple10) -> rule3)) -> rule7)) -> rule1) OR ((((((triple10) -> rule3)) -> rule7) triple11) -> rule2))] Fiona is round.[(((triple14) -> rule6) OR ((((triple13) -> rule7)) -> rule6))] @2: Fiona is rough.[(((triple14 ((triple14) -> rule6)) -> rule2) OR ((((triple14) -> rule6) triple14) -> rule1) OR ((((triple13) -> rule7) ((triple14) -> rule6)) -> rule2) OR ((((triple14) -> rule6) ((triple13) -> rule7)) -> rule1) OR ((triple14 ((((triple13) -> rule7)) -> rule6)) -> rule2) OR ((((((triple13) -> rule7)) -> rule6) triple14) -> rule1) OR ((((triple13) -> rule7) ((((triple13) -> rule7)) -> rule6)) -> rule2) OR ((((((triple13) -> rule7)) -> rule6) ((triple13) -> rule7)) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
((triple3) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((((triple7) -> (rule4 % int2))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
triple2
((triple1) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((triple6 triple7) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((((triple3) -> (rule3 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple4 triple1) -> (rule5 % int2)) triple7) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((((triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((triple4 ((triple3) -> (rule3 % int3))) -> (rule5 % int2)) triple7) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple4 ((((triple7) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple7) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
triple3
((triple7) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
triple4
((triple2 triple5) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((triple5 triple2) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((triple5 ((triple1) -> (rule7 % int2))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((triple5 ((triple6 triple7) -> (rule8 % int2))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((triple1) -> (rule7 % int2)) triple5) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((triple6 triple7) -> (rule8 % int2)) triple5) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((triple5 ((((triple3) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((((triple3) -> (rule3 % int3))) -> (rule7 % int2)) triple5) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((triple5 ((((((triple7) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((((((triple7) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2)) triple5) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
triple5
Anne is smart.
("Anne" "is" "smart" "+")
triple6
((triple4 triple1) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((triple4 ((triple3) -> (rule3 % int2))) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple2 triple5) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((triple5 triple2) -> (rule1 % int2)) triple1) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((triple2 triple5) -> (rule2 % int3)) ((triple3) -> (rule3 % int2))) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((triple5 triple2) -> (rule1 % int3)) ((triple3) -> (rule3 % int2))) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((triple4 ((((triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((triple5 ((triple1) -> (rule7 % int3))) -> (rule1 % int2)) triple1) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((triple1) -> (rule7 % int3)) triple5) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((triple2 triple5) -> (rule2 % int4)) ((((triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple5 triple2) -> (rule1 % int4)) ((((triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple5 ((triple1) -> (rule7 % int4))) -> (rule1 % int3)) ((triple3) -> (rule3 % int2))) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((triple1) -> (rule7 % int4)) triple5) -> (rule2 % int3)) ((triple3) -> (rule3 % int2))) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((triple5 ((triple1) -> (rule7 % int5))) -> (rule1 % int4)) ((((triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((triple1) -> (rule7 % int5)) triple5) -> (rule2 % int4)) ((((triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((triple5 ((((triple3) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple1) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((((triple3) -> (rule3 % int4))) -> (rule7 % int3)) triple5) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((triple5 ((((triple3) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple3) -> (rule3 % int4))) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((((triple3) -> (rule3 % int4))) -> (rule7 % int3)) triple5) -> (rule2 % int2)) ((triple3) -> (rule3 % int4))) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((triple5 ((((triple3) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((((triple7) -> (rule4 % int2))) -> (rule3 % int5))) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((((((((triple3) -> (rule3 % int5))) -> (rule7 % int4)) triple5) -> (rule2 % int3)) ((((triple7) -> (rule4 % int2))) -> (rule3 % int5))) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((((triple5 ((((((triple7) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple1) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
((((((((((triple7) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) triple5) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
((((triple5 ((((((triple7) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple3) -> (rule3 % int4))) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
((((((((((triple7) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) triple5) -> (rule2 % int2)) ((triple3) -> (rule3 % int4))) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
((((triple5 ((((((triple7) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((((triple7) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
((((((((((triple7) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) triple5) -> (rule2 % int2)) ((((triple7) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
Anne is white.
("Anne" "is" "white" "+")
triple7
Charlie is green.
("Charlie" "is" "green" "+")
triple8
((triple10) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple9
((triple8) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((((triple10) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
triple10
Charlie is round.
("Charlie" "is" "round" "+")
triple11
Charlie is smart.
("Charlie" "is" "smart" "+")
triple12
((((triple11 triple9) -> (rule1 % int2)) triple8) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple9 triple11) -> (rule2 % int2)) triple8) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple11 triple9) -> (rule1 % int3)) ((triple10) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((triple9 triple11) -> (rule2 % int3)) ((triple10) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((triple11 ((triple8) -> (rule7 % int3))) -> (rule1 % int2)) triple8) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple8) -> (rule7 % int3)) triple11) -> (rule2 % int2)) triple8) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple11 ((triple8) -> (rule7 % int4))) -> (rule1 % int3)) ((triple10) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple8) -> (rule7 % int4)) triple11) -> (rule2 % int3)) ((triple10) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple11 ((((triple10) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple8) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((((((triple10) -> (rule3 % int4))) -> (rule7 % int3)) triple11) -> (rule2 % int2)) triple8) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((triple11 ((((triple10) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple10) -> (rule3 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((((((triple10) -> (rule3 % int4))) -> (rule7 % int3)) triple11) -> (rule2 % int2)) ((triple10) -> (rule3 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
triple13
Fiona is kind.
("Fiona" "is" "kind" "+")
triple14
((triple13) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple15
((((triple14 ((triple14) -> (rule6 % int3))) -> (rule2 % int2)) triple13) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple14) -> (rule6 % int3)) triple14) -> (rule1 % int2)) triple13) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple13) -> (rule7 % int4)) ((triple14) -> (rule6 % int3))) -> (rule2 % int2)) triple13) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((((triple14) -> (rule6 % int4)) ((triple13) -> (rule7 % int3))) -> (rule1 % int2)) triple13) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple14 ((((triple13) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) triple13) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((((((triple13) -> (rule7 % int4))) -> (rule6 % int3)) triple14) -> (rule1 % int2)) triple13) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((((triple13) -> (rule7 % int4)) ((((triple13) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) triple13) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((((((triple13) -> (rule7 % int4))) -> (rule6 % int3)) ((triple13) -> (rule7 % int4))) -> (rule1 % int2)) triple13) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple11 triple9) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((triple9 triple11) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((triple11 ((triple8) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple8) -> (rule7 % int2)) triple11) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((triple11 ((((triple10) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((((triple10) -> (rule3 % int3))) -> (rule7 % int2)) triple11) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
((triple14) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((((triple13) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple14 ((triple14) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple14) -> (rule6 % int2)) triple14) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple13) -> (rule7 % int3)) ((triple14) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((triple14) -> (rule6 % int3)) ((triple13) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((triple14 ((((triple13) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((((triple13) -> (rule7 % int3))) -> (rule6 % int2)) triple14) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((triple13) -> (rule7 % int3)) ((((triple13) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((((triple13) -> (rule7 % int3))) -> (rule6 % int2)) ((triple13) -> (rule7 % int3))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3