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