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