Anne is furry. Anne is green. Anne is kind. Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is kind. Erin is quiet. Erin is round. Fiona is big. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is round. Kind people are quiet. If someone is round then they are kind. All kind, big people are blue. If someone is green then they are furry. All green, blue people are furry. If someone is green and quiet then they are big.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Kind people are quiet.
((("someone" "is" "kind" "+")) -> ("someone" "is" "quiet" "+"))
If someone is round then they are kind.
((("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
All kind, big people are blue.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is green then they are furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
All green, blue people are furry.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
If someone is green and quiet then they are big.
((("someone" "is" "green" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
Fiona is round.
True
1
proof
[(triple15)]
("Fiona" "is" "round" "+")
triple15
Anne is not kind.
False
1
inv-proof
[(triple3)]
("Anne" "is" "kind" "-")
triple3
Anne is quiet.
True
2
proof
[(((triple3) -> rule1))]
("Anne" "is" "quiet" "+")
((triple3) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Fiona is not blue.
False
3
inv-proof
[(((triple13 triple11) -> rule3) OR ((triple13 ((triple12 triple14) -> rule6)) -> rule3) OR ((((triple15) -> rule2) triple11) -> rule3) OR ((((triple15) -> rule2) ((triple12 triple14) -> rule6)) -> rule3) OR ((triple13 ((triple12 ((triple13) -> rule1)) -> rule6)) -> rule3) OR ((((triple15) -> rule2) ((triple12 ((triple13) -> rule1)) -> rule6)) -> rule3) OR ((triple13 ((triple12 ((((triple15) -> rule2)) -> rule1)) -> rule6)) -> rule3) OR ((((triple15) -> rule2) ((triple12 ((((triple15) -> rule2)) -> rule1)) -> rule6)) -> rule3))]
("Fiona" "is" "blue" "-")
((triple13 triple11) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple13 ((triple12 triple14) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple15) -> (rule2 % int2)) triple11) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple15) -> (rule2 % int3)) ((triple12 triple14) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((triple13 ((triple12 ((triple13) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((((triple15) -> (rule2 % int4)) ((triple12 ((triple13) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((triple13 ((triple12 ((((triple15) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((triple15) -> (rule2 % int4)) ((triple12 ((((triple15) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Anne is big.
True
4
proof
[(((triple2 ((triple3) -> rule1)) -> rule6))]
("Anne" "is" "big" "+")
((triple2 ((triple3) -> (rule1 % int2))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is not big.
False
4
inv-proof
[(((triple2 ((triple3) -> rule1)) -> rule6))]
("Anne" "is" "big" "-")
((triple2 ((triple3) -> (rule1 % int2))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is blue.
True
6
proof
[(((triple3 ((triple2 ((triple3) -> rule1)) -> rule6)) -> rule3))]
("Anne" "is" "blue" "+")
((triple3 ((triple2 ((triple3) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is not blue.
False
6
inv-proof
[(((triple3 ((triple2 ((triple3) -> rule1)) -> rule6)) -> rule3))]
("Anne" "is" "blue" "-")
((triple3 ((triple2 ((triple3) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
@0: Anne is furry.[(triple1 OR ((triple2) -> rule4) OR ((triple2 ((triple3 ((triple2 ((triple3) -> rule1)) -> rule6)) -> rule3)) -> rule5))] Anne is green.[(triple2)] Anne is kind.[(triple3)] Erin is big.[(triple4 OR ((triple7 triple9) -> rule6) OR ((triple7 ((triple8) -> rule1)) -> rule6) OR ((triple7 ((((triple10) -> rule2)) -> rule1)) -> rule6))] Erin is blue.[(triple5 OR ((triple8 triple4) -> rule3) OR ((triple8 ((triple7 triple9) -> rule6)) -> rule3) OR ((((triple10) -> rule2) triple4) -> rule3) OR ((((triple10) -> rule2) ((triple7 triple9) -> rule6)) -> rule3) OR ((triple8 ((triple7 ((triple8) -> rule1)) -> rule6)) -> rule3) OR ((((triple10) -> rule2) ((triple7 ((triple8) -> rule1)) -> rule6)) -> rule3) OR ((triple8 ((triple7 ((((triple10) -> rule2)) -> rule1)) -> rule6)) -> rule3) OR ((((triple10) -> rule2) ((triple7 ((((triple10) -> rule2)) -> rule1)) -> rule6)) -> rule3))] Erin is furry.[(triple6 OR ((triple7) -> rule4) OR ((triple7 triple5) -> rule5) OR ((triple7 ((triple8 triple4) -> rule3)) -> rule5) OR ((triple7 ((triple8 ((triple7 triple9) -> rule6)) -> rule3)) -> rule5) OR ((triple7 ((((triple10) -> rule2) triple4) -> rule3)) -> rule5) OR ((triple7 ((((triple10) -> rule2) ((triple7 triple9) -> rule6)) -> rule3)) -> rule5) OR ((triple7 ((triple8 ((triple7 ((triple8) -> rule1)) -> rule6)) -> rule3)) -> rule5) OR ((triple7 ((((triple10) -> rule2) ((triple7 ((triple8) -> rule1)) -> rule6)) -> rule3)) -> rule5) OR ((triple7 ((triple8 ((triple7 ((((triple10) -> rule2)) -> rule1)) -> rule6)) -> rule3)) -> rule5) OR ((triple7 ((((triple10) -> rule2) ((triple7 ((((triple10) -> rule2)) -> rule1)) -> rule6)) -> rule3)) -> rule5))] Erin is green.[(triple7)] Erin is kind.[(triple8 OR ((triple10) -> rule2))] Erin is quiet.[(triple9 OR ((triple8) -> rule1) OR ((((triple10) -> rule2)) -> rule1))] Erin is round.[(triple10)] Fiona is big.[(triple11 OR ((triple12 triple14) -> rule6) OR ((triple12 ((triple13) -> rule1)) -> rule6) OR ((triple12 ((((triple15) -> rule2)) -> rule1)) -> rule6))] Fiona is green.[(triple12)] Fiona is kind.[(triple13 OR ((triple15) -> rule2))] Fiona is quiet.[(triple14 OR ((triple13) -> rule1) OR ((((triple15) -> rule2)) -> rule1))] Fiona is round.[(triple15)] @1: Anne is quiet.[(((triple3) -> rule1))] Fiona is blue.[(((triple13 triple11) -> rule3) OR ((triple13 ((triple12 triple14) -> rule6)) -> rule3) OR ((((triple15) -> rule2) triple11) -> rule3) OR ((((triple15) -> rule2) ((triple12 triple14) -> rule6)) -> rule3) OR ((triple13 ((triple12 ((triple13) -> rule1)) -> rule6)) -> rule3) OR ((((triple15) -> rule2) ((triple12 ((triple13) -> rule1)) -> rule6)) -> rule3) OR ((triple13 ((triple12 ((((triple15) -> rule2)) -> rule1)) -> rule6)) -> rule3) OR ((((triple15) -> rule2) ((triple12 ((((triple15) -> rule2)) -> rule1)) -> rule6)) -> rule3))] Fiona is furry.[(((triple12) -> rule4) OR ((triple12 ((triple13 triple11) -> rule3)) -> rule5) OR ((triple12 ((triple13 ((triple12 triple14) -> rule6)) -> rule3)) -> rule5) OR ((triple12 ((((triple15) -> rule2) triple11) -> rule3)) -> rule5) OR ((triple12 ((((triple15) -> rule2) ((triple12 triple14) -> rule6)) -> rule3)) -> rule5) OR ((triple12 ((triple13 ((triple12 ((triple13) -> rule1)) -> rule6)) -> rule3)) -> rule5) OR ((triple12 ((((triple15) -> rule2) ((triple12 ((triple13) -> rule1)) -> rule6)) -> rule3)) -> rule5) OR ((triple12 ((triple13 ((triple12 ((((triple15) -> rule2)) -> rule1)) -> rule6)) -> rule3)) -> rule5) OR ((triple12 ((((triple15) -> rule2) ((triple12 ((((triple15) -> rule2)) -> rule1)) -> rule6)) -> rule3)) -> rule5))] @2: Anne is big.[(((triple2 ((triple3) -> rule1)) -> rule6))] @3: Anne is blue.[(((triple3 ((triple2 ((triple3) -> rule1)) -> rule6)) -> rule3))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
((triple2) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((triple2 ((triple3 ((triple2 ((triple3) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
((triple7 triple9) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple7 ((triple8) -> (rule1 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((triple7 ((((triple10) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
triple5
((triple8 triple4) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((triple8 ((triple7 triple9) -> (rule6 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple10) -> (rule2 % int2)) triple4) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((triple10) -> (rule2 % int3)) ((triple7 triple9) -> (rule6 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((triple8 ((triple7 ((triple8) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((triple10) -> (rule2 % int4)) ((triple7 ((triple8) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((triple8 ((triple7 ((((triple10) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((triple10) -> (rule2 % int4)) ((triple7 ((((triple10) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
triple6
((triple7) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((triple7 triple5) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((triple7 ((triple8 triple4) -> (rule3 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((triple7 ((triple8 ((triple7 triple9) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((triple7 ((((triple10) -> (rule2 % int3)) triple4) -> (rule3 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((triple7 ((((triple10) -> (rule2 % int4)) ((triple7 triple9) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((triple7 ((triple8 ((triple7 ((triple8) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((triple7 ((((triple10) -> (rule2 % int5)) ((triple7 ((triple8) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
((triple7 ((triple8 ((triple7 ((((triple10) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
((triple7 ((((triple10) -> (rule2 % int5)) ((triple7 ((((triple10) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
triple7
Erin is kind.
("Erin" "is" "kind" "+")
triple8
((triple10) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple9
((triple8) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
triple10
Fiona is big.
("Fiona" "is" "big" "+")
triple11
((triple12 triple14) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple12 ((triple13) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
((triple12 ((((triple15) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
triple12
Fiona is kind.
("Fiona" "is" "kind" "+")
triple13
((triple15) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple14
((triple13) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((((triple15) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
triple15
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple3) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple13 triple11) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple13 ((triple12 triple14) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple15) -> (rule2 % int2)) triple11) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple15) -> (rule2 % int3)) ((triple12 triple14) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((triple13 ((triple12 ((triple13) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((((triple15) -> (rule2 % int4)) ((triple12 ((triple13) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((triple13 ((triple12 ((((triple15) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((triple15) -> (rule2 % int4)) ((triple12 ((((triple15) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple12) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple12 ((triple13 triple11) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((triple12 ((triple13 ((triple12 triple14) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((triple12 ((((triple15) -> (rule2 % int3)) triple11) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((triple12 ((((triple15) -> (rule2 % int4)) ((triple12 triple14) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((triple12 ((triple13 ((triple12 ((triple13) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((triple12 ((((triple15) -> (rule2 % int5)) ((triple12 ((triple13) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((triple12 ((triple13 ((triple12 ((((triple15) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((triple12 ((((triple15) -> (rule2 % int5)) ((triple12 ((((triple15) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
((triple2 ((triple3) -> (rule1 % int2))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
((triple3 ((triple2 ((triple3) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3