Dave is big. Dave is blue. Dave is cold. Dave is kind. Dave is red. Dave is white. Fiona is big. Fiona is blue. Fiona is cold. Fiona is kind. Fiona is round. Fiona is white. If something is blue then it is red. If something is kind and red then it is white. All kind, big things are white. Kind things are red. If something is cold and kind then it is blue. All blue, round things are red. Red, blue things are big. Round things are kind.
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If something is blue then it is red.
((("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
If something is kind and red then it is white.
((("something" "is" "kind" "+") ("something" "is" "red" "+")) -> ("something" "is" "white" "+"))
All kind, big things are white.
((("something" "is" "kind" "+") ("something" "is" "big" "+")) -> ("something" "is" "white" "+"))
Kind things are red.
((("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
If something is cold and kind then it is blue.
((("something" "is" "cold" "+") ("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
All blue, round things are red.
((("something" "is" "blue" "+") ("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
Red, blue things are big.
((("something" "is" "red" "+") ("something" "is" "blue" "+")) -> ("something" "is" "big" "+"))
Round things are kind.
((("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
Fiona is round.
True
1
proof
[(triple11)]
("Fiona" "is" "round" "+")
triple11
Fiona is not blue.
False
1
inv-proof
[(triple8 OR ((triple9 triple10) -> rule5) OR ((triple9 ((triple11) -> rule8)) -> rule5))]
("Fiona" "is" "blue" "-")
triple8
((triple9 triple10) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple9 ((triple11) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is red.
True
2
proof
[(((triple10) -> rule4) OR ((triple8) -> rule1) OR ((triple8 triple11) -> rule6) OR ((((triple11) -> rule8)) -> rule4) OR ((((triple9 triple10) -> rule5)) -> rule1) OR ((((triple9 triple10) -> rule5) triple11) -> rule6) OR ((((triple9 ((triple11) -> rule8)) -> rule5)) -> rule1) OR ((((triple9 ((triple11) -> rule8)) -> rule5) triple11) -> rule6))]
("Fiona" "is" "red" "+")
((triple10) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((triple8) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((triple8 triple11) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((((triple11) -> (rule8 % int2))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple9 triple10) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple9 triple10) -> (rule5 % int2)) triple11) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple9 ((triple11) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((triple9 ((triple11) -> (rule8 % int3))) -> (rule5 % int2)) triple11) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is not red.
False
2
inv-proof
[(((triple10) -> rule4) OR ((triple8) -> rule1) OR ((triple8 triple11) -> rule6) OR ((((triple11) -> rule8)) -> rule4) OR ((((triple9 triple10) -> rule5)) -> rule1) OR ((((triple9 triple10) -> rule5) triple11) -> rule6) OR ((((triple9 ((triple11) -> rule8)) -> rule5)) -> rule1) OR ((((triple9 ((triple11) -> rule8)) -> rule5) triple11) -> rule6))]
("Fiona" "is" "red" "-")
((triple10) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((triple8) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((triple8 triple11) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((((triple11) -> (rule8 % int2))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple9 triple10) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple9 triple10) -> (rule5 % int2)) triple11) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple9 ((triple11) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((triple9 ((triple11) -> (rule8 % int3))) -> (rule5 % int2)) triple11) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
@0: Dave is big.[(triple1 OR ((triple5 triple2) -> rule7) OR ((triple5 ((triple3 triple4) -> rule5)) -> rule7) OR ((((triple2) -> rule1) triple2) -> rule7) OR ((((triple4) -> rule4) triple2) -> rule7) OR ((((triple2) -> rule1) ((triple3 triple4) -> rule5)) -> rule7) OR ((((triple4) -> rule4) ((triple3 triple4) -> rule5)) -> rule7) OR ((((((triple3 triple4) -> rule5)) -> rule1) triple2) -> rule7) OR ((((((triple3 triple4) -> rule5)) -> rule1) ((triple3 triple4) -> rule5)) -> rule7))] Dave is blue.[(triple2 OR ((triple3 triple4) -> rule5))] Dave is cold.[(triple3)] Dave is kind.[(triple4)] Dave is red.[(triple5 OR ((triple2) -> rule1) OR ((triple4) -> rule4) OR ((((triple3 triple4) -> rule5)) -> rule1))] Dave is white.[(triple6 OR ((triple4 triple1) -> rule3) OR ((triple4 triple5) -> rule2) OR ((triple4 ((triple2) -> rule1)) -> rule2) OR ((triple4 ((triple4) -> rule4)) -> rule2) OR ((triple4 ((triple5 triple2) -> rule7)) -> rule3) OR ((triple4 ((((triple3 triple4) -> rule5)) -> rule1)) -> rule2) OR ((triple4 ((triple5 ((triple3 triple4) -> rule5)) -> rule7)) -> rule3) OR ((triple4 ((((triple2) -> rule1) triple2) -> rule7)) -> rule3) OR ((triple4 ((((triple4) -> rule4) triple2) -> rule7)) -> rule3) OR ((triple4 ((((triple2) -> rule1) ((triple3 triple4) -> rule5)) -> rule7)) -> rule3) OR ((triple4 ((((triple4) -> rule4) ((triple3 triple4) -> rule5)) -> rule7)) -> rule3) OR ((triple4 ((((((triple3 triple4) -> rule5)) -> rule1) triple2) -> rule7)) -> rule3) OR ((triple4 ((((((triple3 triple4) -> rule5)) -> rule1) ((triple3 triple4) -> rule5)) -> rule7)) -> rule3))] Fiona is big.[(triple7 OR ((((triple10) -> rule4) triple8) -> rule7) OR ((((triple8) -> rule1) triple8) -> rule7) OR ((((triple8 triple11) -> rule6) triple8) -> rule7) OR ((((triple10) -> rule4) ((triple9 triple10) -> rule5)) -> rule7) OR ((((triple8) -> rule1) ((triple9 triple10) -> rule5)) -> rule7) OR ((((triple8 triple11) -> rule6) ((triple9 triple10) -> rule5)) -> rule7) OR ((((((triple11) -> rule8)) -> rule4) triple8) -> rule7) OR ((((((triple9 triple10) -> rule5)) -> rule1) triple8) -> rule7) OR ((((((triple9 triple10) -> rule5) triple11) -> rule6) triple8) -> rule7) OR ((((triple10) -> rule4) ((triple9 ((triple11) -> rule8)) -> rule5)) -> rule7) OR ((((triple8) -> rule1) ((triple9 ((triple11) -> rule8)) -> rule5)) -> rule7) OR ((((((triple11) -> rule8)) -> rule4) ((triple9 triple10) -> rule5)) -> rule7) OR ((((((triple9 triple10) -> rule5)) -> rule1) ((triple9 triple10) -> rule5)) -> rule7) OR ((((triple8 triple11) -> rule6) ((triple9 ((triple11) -> rule8)) -> rule5)) -> rule7) OR ((((((triple9 triple10) -> rule5) triple11) -> rule6) ((triple9 triple10) -> rule5)) -> rule7) OR ((((((triple11) -> rule8)) -> rule4) ((triple9 ((triple11) -> rule8)) -> rule5)) -> rule7) OR ((((((triple9 triple10) -> rule5)) -> rule1) ((triple9 ((triple11) -> rule8)) -> rule5)) -> rule7) OR ((((((triple9 triple10) -> rule5) triple11) -> rule6) ((triple9 ((triple11) -> rule8)) -> rule5)) -> rule7) OR ((((((triple9 ((triple11) -> rule8)) -> rule5)) -> rule1) triple8) -> rule7) OR ((((((triple9 ((triple11) -> rule8)) -> rule5) triple11) -> rule6) triple8) -> rule7) OR ((((((triple9 ((triple11) -> rule8)) -> rule5)) -> rule1) ((triple9 triple10) -> rule5)) -> rule7) OR ((((((triple9 ((triple11) -> rule8)) -> rule5) triple11) -> rule6) ((triple9 triple10) -> rule5)) -> rule7) OR ((((((triple9 ((triple11) -> rule8)) -> rule5)) -> rule1) ((triple9 ((triple11) -> rule8)) -> rule5)) -> rule7) OR ((((((triple9 ((triple11) -> rule8)) -> rule5) triple11) -> rule6) ((triple9 ((triple11) -> rule8)) -> rule5)) -> rule7))] Fiona is blue.[(triple8 OR ((triple9 triple10) -> rule5) OR ((triple9 ((triple11) -> rule8)) -> rule5))] Fiona is cold.[(triple9)] Fiona is kind.[(triple10 OR ((triple11) -> rule8))] Fiona is round.[(triple11)] Fiona is white.[(triple12 OR ((triple10 triple7) -> rule3) OR ((triple10 ((triple10) -> rule4)) -> rule2) OR ((triple10 ((triple8) -> rule1)) -> rule2) OR ((triple10 ((triple8 triple11) -> rule6)) -> rule2) OR ((((triple11) -> rule8) triple7) -> rule3) OR ((((triple11) -> rule8) ((triple10) -> rule4)) -> rule2) OR ((((triple11) -> rule8) ((triple8) -> rule1)) -> rule2) OR ((((triple11) -> rule8) ((triple8 triple11) -> rule6)) -> rule2) OR ((triple10 ((((triple11) -> rule8)) -> rule4)) -> rule2) OR ((triple10 ((((triple9 triple10) -> rule5)) -> rule1)) -> rule2) OR ((triple10 ((((triple10) -> rule4) triple8) -> rule7)) -> rule3) OR ((triple10 ((((triple8) -> rule1) triple8) -> rule7)) -> rule3) OR ((triple10 ((((triple8 triple11) -> rule6) triple8) -> rule7)) -> rule3) OR ((triple10 ((((triple9 triple10) -> rule5) triple11) -> rule6)) -> rule2) OR ((triple10 ((((triple10) -> rule4) ((triple9 triple10) -> rule5)) -> rule7)) -> rule3) OR ((triple10 ((((triple8) -> rule1) ((triple9 triple10) -> rule5)) -> rule7)) -> rule3) OR ((triple10 ((((triple8 triple11) -> rule6) ((triple9 triple10) -> rule5)) -> rule7)) -> rule3) OR ((((triple11) -> rule8) ((((triple11) -> rule8)) -> rule4)) -> rule2) OR ((((triple11) -> rule8) ((((triple9 triple10) -> rule5)) -> rule1)) -> rule2) OR ((((triple11) -> rule8) ((((triple10) -> rule4) triple8) -> rule7)) -> rule3) OR ((((triple11) -> rule8) ((((triple8) -> rule1) triple8) -> rule7)) -> rule3) OR ((((triple11) -> rule8) ((((triple8 triple11) -> rule6) triple8) -> rule7)) -> rule3) OR ((((triple11) -> rule8) ((((triple9 triple10) -> rule5) triple11) -> rule6)) -> rule2) OR ((((triple11) -> rule8) ((((triple10) -> rule4) ((triple9 triple10) -> rule5)) -> rule7)) -> rule3) OR ((((triple11) -> rule8) ((((triple8) -> rule1) ((triple9 triple10) -> rule5)) -> rule7)) -> rule3) OR ((((triple11) -> rule8) ((((triple8 triple11) -> rule6) ((triple9 triple10) -> rule5)) -> rule7)) -> rule3) OR ((triple10 ((((triple9 ((triple11) -> rule8)) -> rule5)) -> rule1)) -> rule2) OR ((triple10 ((((((triple11) -> rule8)) -> rule4) triple8) -> rule7)) -> rule3) OR ((triple10 ((((((triple9 triple10) -> rule5)) -> rule1) triple8) -> rule7)) -> rule3) OR ((triple10 ((((triple9 ((triple11) -> rule8)) -> rule5) triple11) -> rule6)) -> rule2) OR ((triple10 ((((((triple9 triple10) -> rule5) triple11) -> rule6) triple8) -> rule7)) -> rule3) OR ((triple10 ((((triple10) -> rule4) ((triple9 ((triple11) -> rule8)) -> rule5)) -> rule7)) -> rule3) OR ((triple10 ((((triple8) -> rule1) ((triple9 ((triple11) -> rule8)) -> rule5)) -> rule7)) -> rule3) OR ((triple10 ((((((triple11) -> rule8)) -> rule4) ((triple9 triple10) -> rule5)) -> rule7)) -> rule3) OR ((triple10 ((((((triple9 triple10) -> rule5)) -> rule1) ((triple9 triple10) -> rule5)) -> rule7)) -> rule3) OR ((triple10 ((((triple8 triple11) -> rule6) ((triple9 ((triple11) -> rule8)) -> rule5)) -> rule7)) -> rule3) OR ((triple10 ((((((triple9 triple10) -> rule5) triple11) -> rule6) ((triple9 triple10) -> rule5)) -> rule7)) -> rule3) OR ((((triple11) -> rule8) ((((triple9 ((triple11) -> rule8)) -> rule5)) -> rule1)) -> rule2) OR ((((triple11) -> rule8) ((((((triple11) -> rule8)) -> rule4) triple8) -> rule7)) -> rule3) OR ((((triple11) -> rule8) ((((((triple9 triple10) -> rule5)) -> rule1) triple8) -> rule7)) -> rule3) OR ((((triple11) -> rule8) ((((triple9 ((triple11) -> rule8)) -> rule5) triple11) -> rule6)) -> rule2) OR ((((triple11) -> rule8) ((((((triple9 triple10) -> rule5) triple11) -> rule6) triple8) -> rule7)) -> rule3) OR ((triple10 ((((((triple11) -> rule8)) -> rule4) ((triple9 ((triple11) -> rule8)) -> rule5)) -> rule7)) -> rule3) OR ((triple10 ((((((triple9 triple10) -> rule5)) -> rule1) ((triple9 ((triple11) -> rule8)) -> rule5)) -> rule7)) -> rule3) OR ((triple10 ((((((triple9 triple10) -> rule5) triple11) -> rule6) ((triple9 ((triple11) -> rule8)) -> rule5)) -> rule7)) -> rule3) OR ((((triple11) -> rule8) ((((triple10) -> rule4) ((triple9 ((triple11) -> rule8)) -> rule5)) -> rule7)) -> rule3) OR ((((triple11) -> rule8) ((((triple8) -> rule1) ((triple9 ((triple11) -> rule8)) -> rule5)) -> rule7)) -> rule3) OR ((((triple11) -> rule8) ((((((triple11) -> rule8)) -> rule4) ((triple9 triple10) -> rule5)) -> rule7)) -> rule3) OR ((((triple11) -> rule8) ((((((triple9 triple10) -> rule5)) -> rule1) ((triple9 triple10) -> rule5)) -> rule7)) -> rule3) OR ((((triple11) -> rule8) ((((triple8 triple11) -> rule6) ((triple9 ((triple11) -> rule8)) -> rule5)) -> rule7)) -> rule3) OR ((((triple11) -> rule8) ((((((triple9 triple10) -> rule5) triple11) -> rule6) ((triple9 triple10) -> rule5)) -> rule7)) -> rule3) OR ((((triple11) -> rule8) ((((((triple11) -> rule8)) -> rule4) ((triple9 ((triple11) -> rule8)) -> rule5)) -> rule7)) -> rule3) OR ((((triple11) -> rule8) ((((((triple9 triple10) -> rule5)) -> rule1) ((triple9 ((triple11) -> rule8)) -> rule5)) -> rule7)) -> rule3) OR ((((triple11) -> rule8) ((((((triple9 triple10) -> rule5) triple11) -> rule6) ((triple9 ((triple11) -> rule8)) -> rule5)) -> rule7)) -> rule3) OR ((triple10 ((((((triple9 ((triple11) -> rule8)) -> rule5)) -> rule1) triple8) -> rule7)) -> rule3) OR ((triple10 ((((((triple9 ((triple11) -> rule8)) -> rule5) triple11) -> rule6) triple8) -> rule7)) -> rule3) OR ((triple10 ((((((triple9 ((triple11) -> rule8)) -> rule5)) -> rule1) ((triple9 triple10) -> rule5)) -> rule7)) -> rule3) OR ((triple10 ((((((triple9 ((triple11) -> rule8)) -> rule5) triple11) -> rule6) ((triple9 triple10) -> rule5)) -> rule7)) -> rule3) OR ((((triple11) -> rule8) ((((((triple9 ((triple11) -> rule8)) -> rule5)) -> rule1) triple8) -> rule7)) -> rule3) OR ((((triple11) -> rule8) ((((((triple9 ((triple11) -> rule8)) -> rule5) triple11) -> rule6) triple8) -> rule7)) -> rule3) OR ((triple10 ((((((triple9 ((triple11) -> rule8)) -> rule5)) -> rule1) ((triple9 ((triple11) -> rule8)) -> rule5)) -> rule7)) -> rule3) OR ((triple10 ((((((triple9 ((triple11) -> rule8)) -> rule5) triple11) -> rule6) ((triple9 ((triple11) -> rule8)) -> rule5)) -> rule7)) -> rule3) OR ((((triple11) -> rule8) ((((((triple9 ((triple11) -> rule8)) -> rule5)) -> rule1) ((triple9 triple10) -> rule5)) -> rule7)) -> rule3) OR ((((triple11) -> rule8) ((((((triple9 ((triple11) -> rule8)) -> rule5) triple11) -> rule6) ((triple9 triple10) -> rule5)) -> rule7)) -> rule3) OR ((((triple11) -> rule8) ((((((triple9 ((triple11) -> rule8)) -> rule5)) -> rule1) ((triple9 ((triple11) -> rule8)) -> rule5)) -> rule7)) -> rule3) OR ((((triple11) -> rule8) ((((((triple9 ((triple11) -> rule8)) -> rule5) triple11) -> rule6) ((triple9 ((triple11) -> rule8)) -> rule5)) -> rule7)) -> rule3))] @1: Fiona is red.[(((triple10) -> rule4) OR ((triple8) -> rule1) OR ((triple8 triple11) -> rule6) OR ((((triple11) -> rule8)) -> rule4) OR ((((triple9 triple10) -> rule5)) -> rule1) OR ((((triple9 triple10) -> rule5) triple11) -> rule6) OR ((((triple9 ((triple11) -> rule8)) -> rule5)) -> rule1) OR ((((triple9 ((triple11) -> rule8)) -> rule5) triple11) -> rule6))]
Dave is big.
("Dave" "is" "big" "+")
triple1
((triple5 triple2) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((triple5 ((triple3 triple4) -> (rule5 % int2))) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((triple2) -> (rule1 % int2)) triple2) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((((triple4) -> (rule4 % int2)) triple2) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((((triple2) -> (rule1 % int3)) ((triple3 triple4) -> (rule5 % int2))) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((triple4) -> (rule4 % int3)) ((triple3 triple4) -> (rule5 % int2))) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((((triple3 triple4) -> (rule5 % int3))) -> (rule1 % int2)) triple2) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((((triple3 triple4) -> (rule5 % int3))) -> (rule1 % int2)) ((triple3 triple4) -> (rule5 % int3))) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
triple2
((triple3 triple4) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple5
((triple2) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((triple4) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((((triple3 triple4) -> (rule5 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
triple6
((triple4 triple1) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((triple4 triple5) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((triple4 ((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((triple4 ((triple4) -> (rule4 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((triple4 ((triple5 triple2) -> (rule7 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((triple4 ((((triple3 triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((triple4 ((triple5 ((triple3 triple4) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((triple4 ((((triple2) -> (rule1 % int3)) triple2) -> (rule7 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((triple4 ((((triple4) -> (rule4 % int3)) triple2) -> (rule7 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((triple4 ((((triple2) -> (rule1 % int4)) ((triple3 triple4) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((triple4 ((((triple4) -> (rule4 % int4)) ((triple3 triple4) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((triple4 ((((((triple3 triple4) -> (rule5 % int4))) -> (rule1 % int3)) triple2) -> (rule7 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((triple4 ((((((triple3 triple4) -> (rule5 % int4))) -> (rule1 % int3)) ((triple3 triple4) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
triple7
((((triple10) -> (rule4 % int2)) triple8) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((triple8) -> (rule1 % int2)) triple8) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((triple8 triple11) -> (rule6 % int2)) triple8) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((triple10) -> (rule4 % int3)) ((triple9 triple10) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((triple8) -> (rule1 % int3)) ((triple9 triple10) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((triple8 triple11) -> (rule6 % int3)) ((triple9 triple10) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((((triple11) -> (rule8 % int3))) -> (rule4 % int2)) triple8) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((((triple9 triple10) -> (rule5 % int3))) -> (rule1 % int2)) triple8) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((((triple9 triple10) -> (rule5 % int3)) triple11) -> (rule6 % int2)) triple8) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((triple10) -> (rule4 % int4)) ((triple9 ((triple11) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((triple8) -> (rule1 % int4)) ((triple9 ((triple11) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((triple11) -> (rule8 % int4))) -> (rule4 % int3)) ((triple9 triple10) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((((triple9 triple10) -> (rule5 % int3))) -> (rule1 % int2)) ((triple9 triple10) -> (rule5 % int3))) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((triple8 triple11) -> (rule6 % int4)) ((triple9 ((triple11) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((triple9 triple10) -> (rule5 % int3)) triple11) -> (rule6 % int2)) ((triple9 triple10) -> (rule5 % int3))) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((((triple11) -> (rule8 % int4))) -> (rule4 % int3)) ((triple9 ((triple11) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((((triple9 triple10) -> (rule5 % int4))) -> (rule1 % int3)) ((triple9 ((triple11) -> (rule8 % int2))) -> (rule5 % int4))) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((((triple9 triple10) -> (rule5 % int4)) triple11) -> (rule6 % int3)) ((triple9 ((triple11) -> (rule8 % int2))) -> (rule5 % int4))) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((((triple9 ((triple11) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) triple8) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((((triple9 ((triple11) -> (rule8 % int4))) -> (rule5 % int3)) triple11) -> (rule6 % int2)) triple8) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((((triple9 ((triple11) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((triple9 triple10) -> (rule5 % int3))) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((((triple9 ((triple11) -> (rule8 % int4))) -> (rule5 % int3)) triple11) -> (rule6 % int2)) ((triple9 triple10) -> (rule5 % int3))) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((((triple9 ((triple11) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((triple9 ((triple11) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((((triple9 ((triple11) -> (rule8 % int4))) -> (rule5 % int3)) triple11) -> (rule6 % int2)) ((triple9 ((triple11) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
((triple9 triple10) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple9 ((triple11) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple9
Fiona is kind.
("Fiona" "is" "kind" "+")
triple10
((triple11) -> (rule8 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Fiona is white.
("Fiona" "is" "white" "+")
triple12
((triple10 triple7) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((triple10 ((triple10) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((triple10 ((triple8) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((triple10 ((triple8 triple11) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((triple11) -> (rule8 % int2)) triple7) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple11) -> (rule8 % int3)) ((triple10) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((triple11) -> (rule8 % int3)) ((triple8) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((triple11) -> (rule8 % int3)) ((triple8 triple11) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((triple10 ((((triple11) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((triple10 ((((triple9 triple10) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((triple10 ((((triple10) -> (rule4 % int3)) triple8) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((triple10 ((((triple8) -> (rule1 % int3)) triple8) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((triple10 ((((triple8 triple11) -> (rule6 % int3)) triple8) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((triple10 ((((triple9 triple10) -> (rule5 % int3)) triple11) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((triple10 ((((triple10) -> (rule4 % int4)) ((triple9 triple10) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((triple10 ((((triple8) -> (rule1 % int4)) ((triple9 triple10) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((triple10 ((((triple8 triple11) -> (rule6 % int4)) ((triple9 triple10) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((triple11) -> (rule8 % int3)) ((((triple11) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((triple11) -> (rule8 % int4)) ((((triple9 triple10) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((triple11) -> (rule8 % int4)) ((((triple10) -> (rule4 % int3)) triple8) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((triple11) -> (rule8 % int4)) ((((triple8) -> (rule1 % int3)) triple8) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((triple11) -> (rule8 % int4)) ((((triple8 triple11) -> (rule6 % int3)) triple8) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((triple11) -> (rule8 % int4)) ((((triple9 triple10) -> (rule5 % int3)) triple11) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((triple11) -> (rule8 % int5)) ((((triple10) -> (rule4 % int4)) ((triple9 triple10) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((triple11) -> (rule8 % int5)) ((((triple8) -> (rule1 % int4)) ((triple9 triple10) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((triple11) -> (rule8 % int5)) ((((triple8 triple11) -> (rule6 % int4)) ((triple9 triple10) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((triple10 ((((triple9 ((triple11) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((triple10 ((((((triple11) -> (rule8 % int4))) -> (rule4 % int3)) triple8) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((triple10 ((((((triple9 triple10) -> (rule5 % int4))) -> (rule1 % int3)) triple8) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((triple10 ((((triple9 ((triple11) -> (rule8 % int4))) -> (rule5 % int3)) triple11) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((triple10 ((((((triple9 triple10) -> (rule5 % int4)) triple11) -> (rule6 % int3)) triple8) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((triple10 ((((triple10) -> (rule4 % int5)) ((triple9 ((triple11) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((triple10 ((((triple8) -> (rule1 % int5)) ((triple9 ((triple11) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((triple10 ((((((triple11) -> (rule8 % int5))) -> (rule4 % int4)) ((triple9 triple10) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((triple10 ((((((triple9 triple10) -> (rule5 % int4))) -> (rule1 % int3)) ((triple9 triple10) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((triple10 ((((triple8 triple11) -> (rule6 % int5)) ((triple9 ((triple11) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((triple10 ((((((triple9 triple10) -> (rule5 % int4)) triple11) -> (rule6 % int3)) ((triple9 triple10) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((triple11) -> (rule8 % int4)) ((((triple9 ((triple11) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((triple11) -> (rule8 % int4)) ((((((triple11) -> (rule8 % int4))) -> (rule4 % int3)) triple8) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((triple11) -> (rule8 % int5)) ((((((triple9 triple10) -> (rule5 % int4))) -> (rule1 % int3)) triple8) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((triple11) -> (rule8 % int4)) ((((triple9 ((triple11) -> (rule8 % int4))) -> (rule5 % int3)) triple11) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((triple11) -> (rule8 % int5)) ((((((triple9 triple10) -> (rule5 % int4)) triple11) -> (rule6 % int3)) triple8) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((triple10 ((((((triple11) -> (rule8 % int5))) -> (rule4 % int4)) ((triple9 ((triple11) -> (rule8 % int5))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((triple10 ((((((triple9 triple10) -> (rule5 % int5))) -> (rule1 % int4)) ((triple9 ((triple11) -> (rule8 % int3))) -> (rule5 % int5))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((triple10 ((((((triple9 triple10) -> (rule5 % int5)) triple11) -> (rule6 % int4)) ((triple9 ((triple11) -> (rule8 % int3))) -> (rule5 % int5))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((triple11) -> (rule8 % int5)) ((((triple10) -> (rule4 % int4)) ((triple9 ((triple11) -> (rule8 % int5))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((triple11) -> (rule8 % int5)) ((((triple8) -> (rule1 % int4)) ((triple9 ((triple11) -> (rule8 % int5))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((triple11) -> (rule8 % int5)) ((((((triple11) -> (rule8 % int5))) -> (rule4 % int4)) ((triple9 triple10) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((triple11) -> (rule8 % int5)) ((((((triple9 triple10) -> (rule5 % int4))) -> (rule1 % int3)) ((triple9 triple10) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((triple11) -> (rule8 % int5)) ((((triple8 triple11) -> (rule6 % int4)) ((triple9 ((triple11) -> (rule8 % int5))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((triple11) -> (rule8 % int5)) ((((((triple9 triple10) -> (rule5 % int4)) triple11) -> (rule6 % int3)) ((triple9 triple10) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((triple11) -> (rule8 % int5)) ((((((triple11) -> (rule8 % int5))) -> (rule4 % int4)) ((triple9 ((triple11) -> (rule8 % int5))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((triple11) -> (rule8 % int5)) ((((((triple9 triple10) -> (rule5 % int4))) -> (rule1 % int3)) ((triple9 ((triple11) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((triple11) -> (rule8 % int5)) ((((((triple9 triple10) -> (rule5 % int4)) triple11) -> (rule6 % int3)) ((triple9 ((triple11) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((triple10 ((((((triple9 ((triple11) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) triple8) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((triple10 ((((((triple9 ((triple11) -> (rule8 % int5))) -> (rule5 % int4)) triple11) -> (rule6 % int3)) triple8) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((triple10 ((((((triple9 ((triple11) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((triple9 triple10) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((triple10 ((((((triple9 ((triple11) -> (rule8 % int5))) -> (rule5 % int4)) triple11) -> (rule6 % int3)) ((triple9 triple10) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((triple11) -> (rule8 % int5)) ((((((triple9 ((triple11) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) triple8) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((triple11) -> (rule8 % int5)) ((((((triple9 ((triple11) -> (rule8 % int5))) -> (rule5 % int4)) triple11) -> (rule6 % int3)) triple8) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((triple10 ((((((triple9 ((triple11) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((triple9 ((triple11) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((triple10 ((((((triple9 ((triple11) -> (rule8 % int5))) -> (rule5 % int4)) triple11) -> (rule6 % int3)) ((triple9 ((triple11) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((triple11) -> (rule8 % int5)) ((((((triple9 ((triple11) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((triple9 triple10) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((triple11) -> (rule8 % int5)) ((((((triple9 ((triple11) -> (rule8 % int5))) -> (rule5 % int4)) triple11) -> (rule6 % int3)) ((triple9 triple10) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((triple11) -> (rule8 % int5)) ((((((triple9 ((triple11) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((triple9 ((triple11) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((triple11) -> (rule8 % int5)) ((((((triple9 ((triple11) -> (rule8 % int5))) -> (rule5 % int4)) triple11) -> (rule6 % int3)) ((triple9 ((triple11) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
Fiona is red.
("Fiona" "is" "red" "+")
((triple10) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((triple8) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((triple8 triple11) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((((triple11) -> (rule8 % int2))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple9 triple10) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple9 triple10) -> (rule5 % int2)) triple11) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple9 ((triple11) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((triple9 ((triple11) -> (rule8 % int3))) -> (rule5 % int2)) triple11) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3