Fiona is big. Fiona is blue. Fiona is furry. Fiona is green. Fiona is red. Fiona is smart. Fiona is white. If someone is white and smart then they are green. If someone is blue then they are white. If someone is big then they are smart. All white, big people are furry. All big people are white. Green, white people are red. If someone is furry and white then they are big. All big people are furry.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If someone is white and smart then they are green.
((("someone" "is" "white" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
If someone is blue then they are white.
((("someone" "is" "blue" "+")) -> ("someone" "is" "white" "+"))
If someone is big then they are smart.
((("someone" "is" "big" "+")) -> ("someone" "is" "smart" "+"))
All white, big people are furry.
((("someone" "is" "white" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
All big people are white.
((("someone" "is" "big" "+")) -> ("someone" "is" "white" "+"))
Green, white people are red.
((("someone" "is" "green" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
If someone is furry and white then they are big.
((("someone" "is" "furry" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "big" "+"))
All big people are furry.
((("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
Fiona is blue.
True
1
proof
[(triple2)]
("Fiona" "is" "blue" "+")
triple2
Fiona is not smart.
False
1
inv-proof
[(triple6 OR ((triple1) -> rule3) OR ((((triple3 triple7) -> rule7)) -> rule3) OR ((((triple3 ((triple2) -> rule2)) -> rule7)) -> rule3))]
("Fiona" "is" "smart" "-")
triple6
((triple1) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple3 triple7) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple3 ((triple2) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
@0: Fiona is big.[(triple1 OR ((triple3 triple7) -> rule7) OR ((triple3 ((triple2) -> rule2)) -> rule7))] Fiona is blue.[(triple2)] Fiona is furry.[(triple3 OR ((triple1) -> rule8) OR ((triple7 triple1) -> rule4) OR ((((triple1) -> rule5) triple1) -> rule4) OR ((((triple2) -> rule2) triple1) -> rule4))] Fiona is green.[(triple4 OR ((triple7 triple6) -> rule1) OR ((triple7 ((triple1) -> rule3)) -> rule1) OR ((((triple1) -> rule5) triple6) -> rule1) OR ((((triple2) -> rule2) triple6) -> rule1) OR ((((triple1) -> rule5) ((triple1) -> rule3)) -> rule1) OR ((((triple2) -> rule2) ((triple1) -> rule3)) -> rule1) OR ((triple7 ((((triple3 triple7) -> rule7)) -> rule3)) -> rule1) OR ((((triple1) -> rule5) ((((triple3 triple7) -> rule7)) -> rule3)) -> rule1) OR ((((triple2) -> rule2) ((((triple3 triple7) -> rule7)) -> rule3)) -> rule1) OR ((triple7 ((((triple3 ((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule1) OR ((((triple1) -> rule5) ((((triple3 ((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule1) OR ((((triple2) -> rule2) ((((triple3 ((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule1))] Fiona is red.[(triple5 OR ((triple4 triple7) -> rule6) OR ((triple4 ((triple1) -> rule5)) -> rule6) OR ((triple4 ((triple2) -> rule2)) -> rule6) OR ((((triple7 triple6) -> rule1) triple7) -> rule6) OR ((((triple7 triple6) -> rule1) ((triple1) -> rule5)) -> rule6) OR ((((triple7 triple6) -> rule1) ((triple2) -> rule2)) -> rule6) OR ((((triple7 ((triple1) -> rule3)) -> rule1) triple7) -> rule6) OR ((((((triple1) -> rule5) triple6) -> rule1) triple7) -> rule6) OR ((((((triple2) -> rule2) triple6) -> rule1) triple7) -> rule6) OR ((((triple7 ((triple1) -> rule3)) -> rule1) ((triple1) -> rule5)) -> rule6) OR ((((triple7 ((triple1) -> rule3)) -> rule1) ((triple2) -> rule2)) -> rule6) OR ((((((triple1) -> rule5) triple6) -> rule1) ((triple1) -> rule5)) -> rule6) OR ((((((triple1) -> rule5) triple6) -> rule1) ((triple2) -> rule2)) -> rule6) OR ((((((triple1) -> rule5) ((triple1) -> rule3)) -> rule1) triple7) -> rule6) OR ((((((triple2) -> rule2) triple6) -> rule1) ((triple1) -> rule5)) -> rule6) OR ((((((triple2) -> rule2) triple6) -> rule1) ((triple2) -> rule2)) -> rule6) OR ((((((triple2) -> rule2) ((triple1) -> rule3)) -> rule1) triple7) -> rule6) OR ((((((triple1) -> rule5) ((triple1) -> rule3)) -> rule1) ((triple1) -> rule5)) -> rule6) OR ((((((triple1) -> rule5) ((triple1) -> rule3)) -> rule1) ((triple2) -> rule2)) -> rule6) OR ((((((triple2) -> rule2) ((triple1) -> rule3)) -> rule1) ((triple1) -> rule5)) -> rule6) OR ((((((triple2) -> rule2) ((triple1) -> rule3)) -> rule1) ((triple2) -> rule2)) -> rule6) OR ((((triple7 ((((triple3 triple7) -> rule7)) -> rule3)) -> rule1) triple7) -> rule6) OR ((((triple7 ((((triple3 triple7) -> rule7)) -> rule3)) -> rule1) ((triple1) -> rule5)) -> rule6) OR ((((triple7 ((((triple3 triple7) -> rule7)) -> rule3)) -> rule1) ((triple2) -> rule2)) -> rule6) OR ((((((triple1) -> rule5) ((((triple3 triple7) -> rule7)) -> rule3)) -> rule1) triple7) -> rule6) OR ((((((triple2) -> rule2) ((((triple3 triple7) -> rule7)) -> rule3)) -> rule1) triple7) -> rule6) OR ((((((triple1) -> rule5) ((((triple3 triple7) -> rule7)) -> rule3)) -> rule1) ((triple1) -> rule5)) -> rule6) OR ((((((triple1) -> rule5) ((((triple3 triple7) -> rule7)) -> rule3)) -> rule1) ((triple2) -> rule2)) -> rule6) OR ((((((triple2) -> rule2) ((((triple3 triple7) -> rule7)) -> rule3)) -> rule1) ((triple1) -> rule5)) -> rule6) OR ((((((triple2) -> rule2) ((((triple3 triple7) -> rule7)) -> rule3)) -> rule1) ((triple2) -> rule2)) -> rule6) OR ((((triple7 ((((triple3 ((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule1) triple7) -> rule6) OR ((((triple7 ((((triple3 ((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule1) ((triple1) -> rule5)) -> rule6) OR ((((triple7 ((((triple3 ((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule1) ((triple2) -> rule2)) -> rule6) OR ((((((triple1) -> rule5) ((((triple3 ((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule1) triple7) -> rule6) OR ((((((triple2) -> rule2) ((((triple3 ((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule1) triple7) -> rule6) OR ((((((triple1) -> rule5) ((((triple3 ((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule1) ((triple1) -> rule5)) -> rule6) OR ((((((triple1) -> rule5) ((((triple3 ((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule1) ((triple2) -> rule2)) -> rule6) OR ((((((triple2) -> rule2) ((((triple3 ((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule1) ((triple1) -> rule5)) -> rule6) OR ((((((triple2) -> rule2) ((((triple3 ((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule1) ((triple2) -> rule2)) -> rule6))] Fiona is smart.[(triple6 OR ((triple1) -> rule3) OR ((((triple3 triple7) -> rule7)) -> rule3) OR ((((triple3 ((triple2) -> rule2)) -> rule7)) -> rule3))] Fiona is white.[(triple7 OR ((triple1) -> rule5) OR ((triple2) -> rule2))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
((triple3 triple7) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple3 ((triple2) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple3
((triple1) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple7 triple1) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple1) -> (rule5 % int2)) triple1) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((triple2) -> (rule2 % int2)) triple1) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
triple4
((triple7 triple6) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple7 ((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((triple1) -> (rule5 % int2)) triple6) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((triple2) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((triple1) -> (rule5 % int3)) ((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((triple2) -> (rule2 % int3)) ((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((triple7 ((((triple3 triple7) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((triple1) -> (rule5 % int4)) ((((triple3 triple7) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((triple2) -> (rule2 % int4)) ((((triple3 triple7) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((triple7 ((((triple3 ((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((triple1) -> (rule5 % int4)) ((((triple3 ((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((triple2) -> (rule2 % int4)) ((((triple3 ((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
triple5
((triple4 triple7) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((triple4 ((triple1) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((triple4 ((triple2) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((triple7 triple6) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple7 triple6) -> (rule1 % int3)) ((triple1) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((triple7 triple6) -> (rule1 % int3)) ((triple2) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((triple7 ((triple1) -> (rule3 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple1) -> (rule5 % int3)) triple6) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((((triple2) -> (rule2 % int3)) triple6) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((triple7 ((triple1) -> (rule3 % int4))) -> (rule1 % int3)) ((triple1) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((triple7 ((triple1) -> (rule3 % int4))) -> (rule1 % int3)) ((triple2) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((triple1) -> (rule5 % int3)) triple6) -> (rule1 % int2)) ((triple1) -> (rule5 % int3))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((((triple1) -> (rule5 % int3)) triple6) -> (rule1 % int2)) ((triple2) -> (rule2 % int3))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((((triple1) -> (rule5 % int4)) ((triple1) -> (rule3 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((((triple2) -> (rule2 % int3)) triple6) -> (rule1 % int2)) ((triple1) -> (rule5 % int3))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((((triple2) -> (rule2 % int3)) triple6) -> (rule1 % int2)) ((triple2) -> (rule2 % int3))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((((triple2) -> (rule2 % int4)) ((triple1) -> (rule3 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((((triple1) -> (rule5 % int4)) ((triple1) -> (rule3 % int3))) -> (rule1 % int2)) ((triple1) -> (rule5 % int4))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((((triple1) -> (rule5 % int4)) ((triple1) -> (rule3 % int3))) -> (rule1 % int2)) ((triple2) -> (rule2 % int4))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((((triple2) -> (rule2 % int4)) ((triple1) -> (rule3 % int3))) -> (rule1 % int2)) ((triple1) -> (rule5 % int4))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((((triple2) -> (rule2 % int4)) ((triple1) -> (rule3 % int3))) -> (rule1 % int2)) ((triple2) -> (rule2 % int4))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((triple7 ((((triple3 triple7) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((triple7 ((((triple3 triple7) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((triple1) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple7 ((((triple3 triple7) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((triple2) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((triple1) -> (rule5 % int5)) ((((triple3 triple7) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((((triple2) -> (rule2 % int5)) ((((triple3 triple7) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((((triple1) -> (rule5 % int5)) ((((triple3 triple7) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple1) -> (rule5 % int5))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((((triple1) -> (rule5 % int5)) ((((triple3 triple7) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple2) -> (rule2 % int5))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((((triple2) -> (rule2 % int5)) ((((triple3 triple7) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple1) -> (rule5 % int5))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((((triple2) -> (rule2 % int5)) ((((triple3 triple7) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple2) -> (rule2 % int5))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((triple7 ((((triple3 ((triple2) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((triple7 ((((triple3 ((triple2) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple1) -> (rule5 % int5))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((triple7 ((((triple3 ((triple2) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple2) -> (rule2 % int5))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((((triple1) -> (rule5 % int5)) ((((triple3 ((triple2) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((((triple2) -> (rule2 % int5)) ((((triple3 ((triple2) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((((triple1) -> (rule5 % int5)) ((((triple3 ((triple2) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple1) -> (rule5 % int5))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((((triple1) -> (rule5 % int5)) ((((triple3 ((triple2) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple2) -> (rule2 % int5))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((((triple2) -> (rule2 % int5)) ((((triple3 ((triple2) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple1) -> (rule5 % int5))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((((triple2) -> (rule2 % int5)) ((((triple3 ((triple2) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple2) -> (rule2 % int5))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
((triple1) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple3 triple7) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple3 ((triple2) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
triple7
((triple1) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((triple2) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1