Anne is green. Anne is kind. Anne is red. Anne is round. Anne is smart. Anne is white. Anne is young. Charlie is green. Charlie is red. Fiona is green. Fiona is kind. Fiona is red. Fiona is round. Fiona is smart. Fiona is white. Fiona is young. If someone is round and green then they are white. If someone is green then they are round. Round, red people are young. All white people are smart. If Fiona is smart then Fiona is round. All red people are green.
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If someone is round and green then they are white.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
If someone is green then they are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Round, red people are young.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
All white people are smart.
((("someone" "is" "white" "+")) -> ("someone" "is" "smart" "+"))
If Fiona is smart then Fiona is round.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "round" "+"))
All red people are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
Anne is white.
True
1
proof
[(triple6 OR ((triple4 triple1) -> rule1) OR ((triple4 ((triple3) -> rule6)) -> rule1) OR ((((triple1) -> rule2) triple1) -> rule1) OR ((((triple1) -> rule2) ((triple3) -> rule6)) -> rule1) OR ((((((triple3) -> rule6)) -> rule2) triple1) -> rule1) OR ((((((triple3) -> rule6)) -> rule2) ((triple3) -> rule6)) -> rule1))]
("Anne" "is" "white" "+")
triple6
((triple4 triple1) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((triple4 ((triple3) -> (rule6 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple1) -> (rule2 % int3)) ((triple3) -> (rule6 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple3) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((((triple3) -> (rule6 % int3))) -> (rule2 % int2)) ((triple3) -> (rule6 % int3))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is not round.
False
1
inv-proof
[(triple4 OR ((triple1) -> rule2) OR ((((triple3) -> rule6)) -> rule2))]
("Anne" "is" "round" "-")
triple4
((triple1) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Charlie is round.
True
2
proof
[(((triple8) -> rule2) OR ((((triple9) -> rule6)) -> rule2))]
("Charlie" "is" "round" "+")
((triple8) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((((triple9) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is not round.
False
2
inv-proof
[(((triple8) -> rule2) OR ((((triple9) -> rule6)) -> rule2))]
("Charlie" "is" "round" "-")
((triple8) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((((triple9) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is white.
True
4
proof
[(((((triple8) -> rule2) triple8) -> rule1) OR ((((triple8) -> rule2) ((triple9) -> rule6)) -> rule1) OR ((((((triple9) -> rule6)) -> rule2) triple8) -> rule1) OR ((((((triple9) -> rule6)) -> rule2) ((triple9) -> rule6)) -> rule1))]
("Charlie" "is" "white" "+")
((((triple8) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple8) -> (rule2 % int3)) ((triple9) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple9) -> (rule6 % int3))) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((((triple9) -> (rule6 % int3))) -> (rule2 % int2)) ((triple9) -> (rule6 % int3))) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is not young.
False
4
inv-proof
[(((((triple8) -> rule2) triple9) -> rule3) OR ((((((triple9) -> rule6)) -> rule2) triple9) -> rule3))]
("Charlie" "is" "young" "-")
((((triple8) -> (rule2 % int2)) triple9) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((((triple9) -> (rule6 % int3))) -> (rule2 % int2)) triple9) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is smart.
True
5
proof
[(((((((triple8) -> rule2) triple8) -> rule1)) -> rule4) OR ((((((triple8) -> rule2) ((triple9) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple9) -> rule6)) -> rule2) triple8) -> rule1)) -> rule4) OR ((((((((triple9) -> rule6)) -> rule2) ((triple9) -> rule6)) -> rule1)) -> rule4))]
("Charlie" "is" "smart" "+")
((((((triple8) -> (rule2 % int3)) triple8) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple8) -> (rule2 % int4)) ((triple9) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((((triple9) -> (rule6 % int4))) -> (rule2 % int3)) triple8) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((((((triple9) -> (rule6 % int4))) -> (rule2 % int3)) ((triple9) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is not smart.
False
5
inv-proof
[(((((((triple8) -> rule2) triple8) -> rule1)) -> rule4) OR ((((((triple8) -> rule2) ((triple9) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple9) -> rule6)) -> rule2) triple8) -> rule1)) -> rule4) OR ((((((((triple9) -> rule6)) -> rule2) ((triple9) -> rule6)) -> rule1)) -> rule4))]
("Charlie" "is" "smart" "-")
((((((triple8) -> (rule2 % int3)) triple8) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple8) -> (rule2 % int4)) ((triple9) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((((triple9) -> (rule6 % int4))) -> (rule2 % int3)) triple8) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((((((triple9) -> (rule6 % int4))) -> (rule2 % int3)) ((triple9) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
@0: Anne is green.[(triple1 OR ((triple3) -> rule6))] Anne is kind.[(triple2)] Anne is red.[(triple3)] Anne is round.[(triple4 OR ((triple1) -> rule2) OR ((((triple3) -> rule6)) -> rule2))] Anne is smart.[(triple5 OR ((triple6) -> rule4) OR ((((triple4 triple1) -> rule1)) -> rule4) OR ((((triple4 ((triple3) -> rule6)) -> rule1)) -> rule4) OR ((((((triple1) -> rule2) triple1) -> rule1)) -> rule4) OR ((((((triple1) -> rule2) ((triple3) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple3) -> rule6)) -> rule2) triple1) -> rule1)) -> rule4) OR ((((((((triple3) -> rule6)) -> rule2) ((triple3) -> rule6)) -> rule1)) -> rule4))] Anne is white.[(triple6 OR ((triple4 triple1) -> rule1) OR ((triple4 ((triple3) -> rule6)) -> rule1) OR ((((triple1) -> rule2) triple1) -> rule1) OR ((((triple1) -> rule2) ((triple3) -> rule6)) -> rule1) OR ((((((triple3) -> rule6)) -> rule2) triple1) -> rule1) OR ((((((triple3) -> rule6)) -> rule2) ((triple3) -> rule6)) -> rule1))] Anne is young.[(triple7 OR ((triple4 triple3) -> rule3) OR ((((triple1) -> rule2) triple3) -> rule3) OR ((((((triple3) -> rule6)) -> rule2) triple3) -> rule3))] Charlie is green.[(triple8 OR ((triple9) -> rule6))] Charlie is red.[(triple9)] Fiona is green.[(triple10 OR ((triple12) -> rule6))] Fiona is kind.[(triple11)] Fiona is red.[(triple12)] Fiona is round.[(triple13 OR ((triple10) -> rule2) OR ((triple14) -> rule5) OR ((((triple12) -> rule6)) -> rule2) OR ((((triple15) -> rule4)) -> rule5))] Fiona is smart.[(triple14 OR ((triple15) -> rule4) OR ((((triple13 triple10) -> rule1)) -> rule4) OR ((((triple13 ((triple12) -> rule6)) -> rule1)) -> rule4) OR ((((((triple10) -> rule2) triple10) -> rule1)) -> rule4) OR ((((((triple10) -> rule2) ((triple12) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple12) -> rule6)) -> rule2) triple10) -> rule1)) -> rule4) OR ((((((((triple12) -> rule6)) -> rule2) ((triple12) -> rule6)) -> rule1)) -> rule4))] Fiona is white.[(triple15 OR ((triple13 triple10) -> rule1) OR ((triple13 ((triple12) -> rule6)) -> rule1) OR ((((triple10) -> rule2) triple10) -> rule1) OR ((((triple14) -> rule5) triple10) -> rule1) OR ((((triple10) -> rule2) ((triple12) -> rule6)) -> rule1) OR ((((triple14) -> rule5) ((triple12) -> rule6)) -> rule1) OR ((((((triple12) -> rule6)) -> rule2) triple10) -> rule1) OR ((((((triple12) -> rule6)) -> rule2) ((triple12) -> rule6)) -> rule1))] Fiona is young.[(triple16 OR ((triple13 triple12) -> rule3) OR ((((triple10) -> rule2) triple12) -> rule3) OR ((((triple14) -> rule5) triple12) -> rule3) OR ((((((triple12) -> rule6)) -> rule2) triple12) -> rule3) OR ((((((triple15) -> rule4)) -> rule5) triple12) -> rule3))] @1: Charlie is round.[(((triple8) -> rule2) OR ((((triple9) -> rule6)) -> rule2))] @2: Charlie is white.[(((((triple8) -> rule2) triple8) -> rule1) OR ((((triple8) -> rule2) ((triple9) -> rule6)) -> rule1) OR ((((((triple9) -> rule6)) -> rule2) triple8) -> rule1) OR ((((((triple9) -> rule6)) -> rule2) ((triple9) -> rule6)) -> rule1))] Charlie is young.[(((((triple8) -> rule2) triple9) -> rule3) OR ((((((triple9) -> rule6)) -> rule2) triple9) -> rule3))] @3: Charlie is smart.[(((((((triple8) -> rule2) triple8) -> rule1)) -> rule4) OR ((((((triple8) -> rule2) ((triple9) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple9) -> rule6)) -> rule2) triple8) -> rule1)) -> rule4) OR ((((((((triple9) -> rule6)) -> rule2) ((triple9) -> rule6)) -> rule1)) -> rule4))]
Anne is green.
("Anne" "is" "green" "+")
triple1
((triple3) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
((triple1) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
triple5
((triple6) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((((triple4 triple1) -> (rule1 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((triple4 ((triple3) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((((triple1) -> (rule2 % int3)) triple1) -> (rule1 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple1) -> (rule2 % int4)) ((triple3) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((((triple3) -> (rule6 % int4))) -> (rule2 % int3)) triple1) -> (rule1 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((((triple3) -> (rule6 % int4))) -> (rule2 % int3)) ((triple3) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
triple6
((triple4 triple1) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((triple4 ((triple3) -> (rule6 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple1) -> (rule2 % int3)) ((triple3) -> (rule6 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple3) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((((triple3) -> (rule6 % int3))) -> (rule2 % int2)) ((triple3) -> (rule6 % int3))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
triple7
((triple4 triple3) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((((triple1) -> (rule2 % int2)) triple3) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((((triple3) -> (rule6 % int3))) -> (rule2 % int2)) triple3) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
triple8
((triple9) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
triple9
Fiona is green.
("Fiona" "is" "green" "+")
triple10
((triple12) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple11
Fiona is red.
("Fiona" "is" "red" "+")
triple12
Fiona is round.
("Fiona" "is" "round" "+")
triple13
((triple10) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple14) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((((triple12) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple15) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple14
((triple15) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple13 triple10) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((triple13 ((triple12) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple10) -> (rule2 % int3)) triple10) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple10) -> (rule2 % int4)) ((triple12) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((((triple12) -> (rule6 % int4))) -> (rule2 % int3)) triple10) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((((triple12) -> (rule6 % int4))) -> (rule2 % int3)) ((triple12) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
triple15
((triple13 triple10) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((triple13 ((triple12) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple10) -> (rule2 % int2)) triple10) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple14) -> (rule5 % int2)) triple10) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple10) -> (rule2 % int3)) ((triple12) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((triple14) -> (rule5 % int3)) ((triple12) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple12) -> (rule6 % int3))) -> (rule2 % int2)) triple10) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple12) -> (rule6 % int3))) -> (rule2 % int2)) ((triple12) -> (rule6 % int3))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
triple16
((triple13 triple12) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((((triple10) -> (rule2 % int2)) triple12) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple14) -> (rule5 % int2)) triple12) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((((triple12) -> (rule6 % int3))) -> (rule2 % int2)) triple12) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple15) -> (rule4 % int3))) -> (rule5 % int2)) triple12) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
((triple8) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((((triple9) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
((((triple8) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple8) -> (rule2 % int3)) ((triple9) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple9) -> (rule6 % int3))) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((((triple9) -> (rule6 % int3))) -> (rule2 % int2)) ((triple9) -> (rule6 % int3))) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
((((triple8) -> (rule2 % int2)) triple9) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((((triple9) -> (rule6 % int3))) -> (rule2 % int2)) triple9) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
((((((triple8) -> (rule2 % int3)) triple8) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple8) -> (rule2 % int4)) ((triple9) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((((triple9) -> (rule6 % int4))) -> (rule2 % int3)) triple8) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((((((triple9) -> (rule6 % int4))) -> (rule2 % int3)) ((triple9) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4