Erin is big. Erin is blue. Erin is nice. Erin is red. Erin is young. Fiona is cold. Fiona is red. Fiona is round. Gary is big. Gary is young. Harry is big. Harry is blue. Harry is nice. Harry is red. Harry is round. Harry is young. All young, big things are round. Blue things are red. If Erin is young and Erin is nice then Erin is big. If something is red then it is young. Big things are blue. All cold, young things are big.
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
All young, big things are round.
((("something" "is" "young" "+") ("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
Blue things are red.
((("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
If Erin is young and Erin is nice then Erin is big.
((("Erin" "is" "young" "+") ("Erin" "is" "nice" "+")) -> ("Erin" "is" "big" "+"))
If something is red then it is young.
((("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
Big things are blue.
((("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
All cold, young things are big.
((("something" "is" "cold" "+") ("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
Fiona is round.
True
1
proof
[(triple8 OR ((((triple7) -> rule4) ((triple6 ((triple7) -> rule4)) -> rule6)) -> rule1))]
("Fiona" "is" "round" "+")
triple8
((((triple7) -> (rule4 % int3)) ((triple6 ((triple7) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Harry is not round.
False
1
inv-proof
[(triple15 OR ((triple16 triple11) -> rule1) OR ((((triple14) -> rule4) triple11) -> rule1) OR ((((((triple12) -> rule2)) -> rule4) triple11) -> rule1) OR ((((((((triple11) -> rule5)) -> rule2)) -> rule4) triple11) -> rule1))]
("Harry" "is" "round" "-")
triple15
((triple16 triple11) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((triple14) -> (rule4 % int2)) triple11) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((((triple12) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((((triple11) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Fiona is young.
True
2
proof
[(((triple7) -> rule4))]
("Fiona" "is" "young" "+")
((triple7) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Erin is not round.
False
3
inv-proof
[(((triple5 triple1) -> rule1) OR ((triple5 ((triple5 triple3) -> rule3)) -> rule1) OR ((((triple4) -> rule4) triple1) -> rule1) OR ((((triple4) -> rule4) ((triple5 triple3) -> rule3)) -> rule1) OR ((triple5 ((((triple4) -> rule4) triple3) -> rule3)) -> rule1) OR ((((((triple2) -> rule2)) -> rule4) triple1) -> rule1) OR ((((triple4) -> rule4) ((((triple4) -> rule4) triple3) -> rule3)) -> rule1) OR ((((((triple2) -> rule2)) -> rule4) ((triple5 triple3) -> rule3)) -> rule1) OR ((((((triple2) -> rule2)) -> rule4) ((((triple4) -> rule4) triple3) -> rule3)) -> rule1) OR ((triple5 ((((((triple2) -> rule2)) -> rule4) triple3) -> rule3)) -> rule1) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule4) triple1) -> rule1) OR ((((triple4) -> rule4) ((((((triple2) -> rule2)) -> rule4) triple3) -> rule3)) -> rule1) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule4) ((triple5 triple3) -> rule3)) -> rule1) OR ((((((triple2) -> rule2)) -> rule4) ((((((triple2) -> rule2)) -> rule4) triple3) -> rule3)) -> rule1) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule4) ((((triple4) -> rule4) triple3) -> rule3)) -> rule1) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule4) ((((((triple2) -> rule2)) -> rule4) triple3) -> rule3)) -> rule1))]
("Erin" "is" "round" "-")
((triple5 triple1) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple5 ((triple5 triple3) -> (rule3 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple4) -> (rule4 % int2)) triple1) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple4) -> (rule4 % int3)) ((triple5 triple3) -> (rule3 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((triple5 ((((triple4) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((triple2) -> (rule2 % int3))) -> (rule4 % int2)) triple1) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple4) -> (rule4 % int3)) ((((triple4) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((triple2) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5 triple3) -> (rule3 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple2) -> (rule2 % int4))) -> (rule4 % int3)) ((((triple4) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((triple5 ((((((triple2) -> (rule2 % int4))) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple1) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((triple4) -> (rule4 % int4)) ((((((triple2) -> (rule2 % int3))) -> (rule4 % int4)) triple3) -> (rule3 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5 triple3) -> (rule3 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((triple2) -> (rule2 % int4))) -> (rule4 % int3)) ((((((triple2) -> (rule2 % int4))) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((((triple4) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((((((triple2) -> (rule2 % int4))) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Fiona is big.
True
4
proof
[(((triple6 ((triple7) -> rule4)) -> rule6))]
("Fiona" "is" "big" "+")
((triple6 ((triple7) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Gary is not red.
False
3
inv-proof
[(((((triple9) -> rule5)) -> rule2))]
("Gary" "is" "red" "-")
((((triple9) -> (rule5 % int2))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Fiona is blue.
True
5
proof
[(((((triple6 ((triple7) -> rule4)) -> rule6)) -> rule5))]
("Fiona" "is" "blue" "+")
((((triple6 ((triple7) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is not blue.
False
5
inv-proof
[(((((triple6 ((triple7) -> rule4)) -> rule6)) -> rule5))]
("Fiona" "is" "blue" "-")
((((triple6 ((triple7) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
@0: Erin is big.[(triple1 OR ((triple5 triple3) -> rule3) OR ((((triple4) -> rule4) triple3) -> rule3) OR ((((((triple2) -> rule2)) -> rule4) triple3) -> rule3))] Erin is blue.[(triple2 OR ((triple1) -> rule5) OR ((((triple5 triple3) -> rule3)) -> rule5) OR ((((((triple4) -> rule4) triple3) -> rule3)) -> rule5))] Erin is nice.[(triple3)] Erin is red.[(triple4 OR ((triple2) -> rule2) OR ((((triple1) -> rule5)) -> rule2) OR ((((((triple5 triple3) -> rule3)) -> rule5)) -> rule2))] Erin is young.[(triple5 OR ((triple4) -> rule4) OR ((((triple2) -> rule2)) -> rule4) OR ((((((triple1) -> rule5)) -> rule2)) -> rule4))] Fiona is cold.[(triple6)] Fiona is red.[(triple7)] Fiona is round.[(triple8 OR ((((triple7) -> rule4) ((triple6 ((triple7) -> rule4)) -> rule6)) -> rule1))] Gary is big.[(triple9)] Gary is young.[(triple10 OR ((((((triple9) -> rule5)) -> rule2)) -> rule4))] Harry is big.[(triple11)] Harry is blue.[(triple12 OR ((triple11) -> rule5))] Harry is nice.[(triple13)] Harry is red.[(triple14 OR ((triple12) -> rule2) OR ((((triple11) -> rule5)) -> rule2))] Harry is round.[(triple15 OR ((triple16 triple11) -> rule1) OR ((((triple14) -> rule4) triple11) -> rule1) OR ((((((triple12) -> rule2)) -> rule4) triple11) -> rule1) OR ((((((((triple11) -> rule5)) -> rule2)) -> rule4) triple11) -> rule1))] Harry is young.[(triple16 OR ((triple14) -> rule4) OR ((((triple12) -> rule2)) -> rule4) OR ((((((triple11) -> rule5)) -> rule2)) -> rule4))] @1: Erin is round.[(((triple5 triple1) -> rule1) OR ((triple5 ((triple5 triple3) -> rule3)) -> rule1) OR ((((triple4) -> rule4) triple1) -> rule1) OR ((((triple4) -> rule4) ((triple5 triple3) -> rule3)) -> rule1) OR ((triple5 ((((triple4) -> rule4) triple3) -> rule3)) -> rule1) OR ((((((triple2) -> rule2)) -> rule4) triple1) -> rule1) OR ((((triple4) -> rule4) ((((triple4) -> rule4) triple3) -> rule3)) -> rule1) OR ((((((triple2) -> rule2)) -> rule4) ((triple5 triple3) -> rule3)) -> rule1) OR ((((((triple2) -> rule2)) -> rule4) ((((triple4) -> rule4) triple3) -> rule3)) -> rule1) OR ((triple5 ((((((triple2) -> rule2)) -> rule4) triple3) -> rule3)) -> rule1) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule4) triple1) -> rule1) OR ((((triple4) -> rule4) ((((((triple2) -> rule2)) -> rule4) triple3) -> rule3)) -> rule1) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule4) ((triple5 triple3) -> rule3)) -> rule1) OR ((((((triple2) -> rule2)) -> rule4) ((((((triple2) -> rule2)) -> rule4) triple3) -> rule3)) -> rule1) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule4) ((((triple4) -> rule4) triple3) -> rule3)) -> rule1) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule4) ((((((triple2) -> rule2)) -> rule4) triple3) -> rule3)) -> rule1))] Fiona is young.[(((triple7) -> rule4))] Gary is blue.[(((triple9) -> rule5))] Gary is round.[(((triple10 triple9) -> rule1) OR ((((((((triple9) -> rule5)) -> rule2)) -> rule4) triple9) -> rule1))] @2: Fiona is big.[(((triple6 ((triple7) -> rule4)) -> rule6))] Gary is red.[(((((triple9) -> rule5)) -> rule2))] @3: Fiona is blue.[(((((triple6 ((triple7) -> rule4)) -> rule6)) -> rule5))]
Erin is big.
("Erin" "is" "big" "+")
triple1
((triple5 triple3) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((((triple4) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((((triple2) -> (rule2 % int3))) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
triple2
((triple1) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((((triple5 triple3) -> (rule3 % int2))) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((((triple4) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
triple3
Erin is red.
("Erin" "is" "red" "+")
triple4
((triple2) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((((triple1) -> (rule5 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((((triple5 triple3) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
triple5
((triple4) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((((triple1) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
Fiona is red.
("Fiona" "is" "red" "+")
triple7
Fiona is round.
("Fiona" "is" "round" "+")
triple8
((((triple7) -> (rule4 % int3)) ((triple6 ((triple7) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
((((((triple9) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple12
((triple11) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
triple13
Harry is red.
("Harry" "is" "red" "+")
triple14
((triple12) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((((triple11) -> (rule5 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
triple15
((triple16 triple11) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((triple14) -> (rule4 % int2)) triple11) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((((triple12) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((((triple11) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
triple16
((triple14) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((((triple12) -> (rule2 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((((triple11) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
((triple5 triple1) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple5 ((triple5 triple3) -> (rule3 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple4) -> (rule4 % int2)) triple1) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple4) -> (rule4 % int3)) ((triple5 triple3) -> (rule3 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((triple5 ((((triple4) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((triple2) -> (rule2 % int3))) -> (rule4 % int2)) triple1) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple4) -> (rule4 % int3)) ((((triple4) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((triple2) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5 triple3) -> (rule3 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple2) -> (rule2 % int4))) -> (rule4 % int3)) ((((triple4) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((triple5 ((((((triple2) -> (rule2 % int4))) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple1) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((triple4) -> (rule4 % int4)) ((((((triple2) -> (rule2 % int3))) -> (rule4 % int4)) triple3) -> (rule3 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5 triple3) -> (rule3 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((triple2) -> (rule2 % int4))) -> (rule4 % int3)) ((((((triple2) -> (rule2 % int4))) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((((triple4) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((((((triple2) -> (rule2 % int4))) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Fiona is young.
("Fiona" "is" "young" "+")
((triple7) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple9) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple10 triple9) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((((((((triple9) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple9) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
((triple6 ((triple7) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((((triple9) -> (rule5 % int2))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
((((triple6 ((triple7) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3