Bob is big. Erin is rough. Erin is young. Fiona is big. Fiona is blue. Fiona is nice. Fiona is red. Fiona is rough. Fiona is white. Fiona is young. Gary is rough. Gary is white. Nice people are blue. If someone is rough then they are red. White, rough people are young. All blue people are white. If Gary is young then Gary is white. If someone is white and young then they are big. If someone is red then they are big. Red people are big. If someone is big then they are nice.
Bob is big.
("Bob" "is" "big" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
Nice people are blue.
((("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough then they are red.
((("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
White, rough people are young.
((("someone" "is" "white" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
All blue people are white.
((("someone" "is" "blue" "+")) -> ("someone" "is" "white" "+"))
If Gary is young then Gary is white.
((("Gary" "is" "young" "+")) -> ("Gary" "is" "white" "+"))
If someone is white and young then they are big.
((("someone" "is" "white" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is red then they are big.
((("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
Red people are big.
((("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is big then they are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Gary is white.
True
1
proof
[(triple12 OR ((((((((((triple11) -> rule2)) -> rule7)) -> rule9)) -> rule1)) -> rule4) OR ((((((((((triple11) -> rule2)) -> rule8)) -> rule9)) -> rule1)) -> rule4))]
("Gary" "is" "white" "+")
triple12
((((((((((triple11) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((((triple11) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is not white.
False
1
inv-proof
[(triple12 OR ((((((((((triple11) -> rule2)) -> rule7)) -> rule9)) -> rule1)) -> rule4) OR ((((((((((triple11) -> rule2)) -> rule8)) -> rule9)) -> rule1)) -> rule4))]
("Gary" "is" "white" "-")
triple12
((((((((((triple11) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((((triple11) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Bob is nice.
True
2
proof
[(((triple1) -> rule9))]
("Bob" "is" "nice" "+")
((triple1) -> (rule9 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Gary is not red.
False
2
inv-proof
[(((triple11) -> rule2))]
("Gary" "is" "red" "-")
((triple11) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
True
3
proof
[(((((triple11) -> rule2)) -> rule7) OR ((((triple11) -> rule2)) -> rule8) OR ((triple12 ((triple12 triple11) -> rule3)) -> rule6))]
("Gary" "is" "big" "+")
((((triple11) -> (rule2 % int2))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((triple11) -> (rule2 % int2))) -> (rule8 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((triple12 ((triple12 triple11) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Bob is not blue.
False
3
inv-proof
[(((((triple1) -> rule9)) -> rule1))]
("Bob" "is" "blue" "-")
((((triple1) -> (rule9 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Gary is nice.
True
4
proof
[(((((((triple11) -> rule2)) -> rule7)) -> rule9) OR ((((((triple11) -> rule2)) -> rule8)) -> rule9) OR ((((triple12 ((triple12 triple11) -> rule3)) -> rule6)) -> rule9))]
("Gary" "is" "nice" "+")
((((((triple11) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule9 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((triple11) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple12 ((triple12 triple11) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Bob is not white.
False
4
inv-proof
[(((((((triple1) -> rule9)) -> rule1)) -> rule4))]
("Bob" "is" "white" "-")
((((((triple1) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Gary is blue.
True
5
proof
[(((((((((triple11) -> rule2)) -> rule7)) -> rule9)) -> rule1) OR ((((((((triple11) -> rule2)) -> rule8)) -> rule9)) -> rule1) OR ((((((triple12 ((triple12 triple11) -> rule3)) -> rule6)) -> rule9)) -> rule1))]
("Gary" "is" "blue" "+")
((((((((triple11) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((triple11) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple12 ((triple12 triple11) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is not blue.
False
5
inv-proof
[(((((((((triple11) -> rule2)) -> rule7)) -> rule9)) -> rule1) OR ((((((((triple11) -> rule2)) -> rule8)) -> rule9)) -> rule1) OR ((((((triple12 ((triple12 triple11) -> rule3)) -> rule6)) -> rule9)) -> rule1))]
("Gary" "is" "blue" "-")
((((((((triple11) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((triple11) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple12 ((triple12 triple11) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Erin is white.
True
6
proof
[(((((((((((triple2) -> rule2)) -> rule7)) -> rule9)) -> rule1)) -> rule4) OR ((((((((((triple2) -> rule2)) -> rule8)) -> rule9)) -> rule1)) -> rule4))]
("Erin" "is" "white" "+")
((((((((((triple2) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((((triple2) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is not white.
False
6
inv-proof
[(((((((((((triple2) -> rule2)) -> rule7)) -> rule9)) -> rule1)) -> rule4) OR ((((((((((triple2) -> rule2)) -> rule8)) -> rule9)) -> rule1)) -> rule4))]
("Erin" "is" "white" "-")
((((((((((triple2) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((((triple2) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "young" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "red" "+")
@0: Bob is big.[(triple1)] Erin is rough.[(triple2)] Erin is young.[(triple3 OR ((((((((((((triple2) -> rule2)) -> rule7)) -> rule9)) -> rule1)) -> rule4) triple2) -> rule3) OR ((((((((((((triple2) -> rule2)) -> rule8)) -> rule9)) -> rule1)) -> rule4) triple2) -> rule3))] Fiona is big.[(triple4 OR ((triple7) -> rule7) OR ((triple7) -> rule8) OR ((triple9 triple10) -> rule6) OR ((((triple8) -> rule2)) -> rule7) OR ((((triple8) -> rule2)) -> rule8) OR ((triple9 ((triple9 triple8) -> rule3)) -> rule6) OR ((((triple5) -> rule4) triple10) -> rule6) OR ((((triple5) -> rule4) ((triple9 triple8) -> rule3)) -> rule6) OR ((triple9 ((((triple5) -> rule4) triple8) -> rule3)) -> rule6) OR ((((((triple6) -> rule1)) -> rule4) triple10) -> rule6) OR ((((triple5) -> rule4) ((((triple5) -> rule4) triple8) -> rule3)) -> rule6) OR ((((((triple6) -> rule1)) -> rule4) ((triple9 triple8) -> rule3)) -> rule6) OR ((((((triple6) -> rule1)) -> rule4) ((((triple5) -> rule4) triple8) -> rule3)) -> rule6) OR ((triple9 ((((((triple6) -> rule1)) -> rule4) triple8) -> rule3)) -> rule6) OR ((((triple5) -> rule4) ((((((triple6) -> rule1)) -> rule4) triple8) -> rule3)) -> rule6) OR ((((((triple6) -> rule1)) -> rule4) ((((((triple6) -> rule1)) -> rule4) triple8) -> rule3)) -> rule6))] Fiona is blue.[(triple5 OR ((triple6) -> rule1) OR ((((triple4) -> rule9)) -> rule1) OR ((((((triple7) -> rule7)) -> rule9)) -> rule1) OR ((((((triple7) -> rule8)) -> rule9)) -> rule1) OR ((((((triple9 triple10) -> rule6)) -> rule9)) -> rule1) OR ((((((((triple8) -> rule2)) -> rule7)) -> rule9)) -> rule1) OR ((((((((triple8) -> rule2)) -> rule8)) -> rule9)) -> rule1) OR ((((((triple9 ((triple9 triple8) -> rule3)) -> rule6)) -> rule9)) -> rule1))] Fiona is nice.[(triple6 OR ((triple4) -> rule9) OR ((((triple7) -> rule7)) -> rule9) OR ((((triple7) -> rule8)) -> rule9) OR ((((triple9 triple10) -> rule6)) -> rule9) OR ((((((triple8) -> rule2)) -> rule7)) -> rule9) OR ((((((triple8) -> rule2)) -> rule8)) -> rule9) OR ((((triple9 ((triple9 triple8) -> rule3)) -> rule6)) -> rule9) OR ((((((triple5) -> rule4) triple10) -> rule6)) -> rule9) OR ((((((triple5) -> rule4) ((triple9 triple8) -> rule3)) -> rule6)) -> rule9) OR ((((triple9 ((((triple5) -> rule4) triple8) -> rule3)) -> rule6)) -> rule9) OR ((((((triple5) -> rule4) ((((triple5) -> rule4) triple8) -> rule3)) -> rule6)) -> rule9))] Fiona is red.[(triple7 OR ((triple8) -> rule2))] Fiona is rough.[(triple8)] Fiona is white.[(triple9 OR ((triple5) -> rule4) OR ((((triple6) -> rule1)) -> rule4) OR ((((((triple4) -> rule9)) -> rule1)) -> rule4) OR ((((((((triple7) -> rule7)) -> rule9)) -> rule1)) -> rule4) OR ((((((((triple7) -> rule8)) -> rule9)) -> rule1)) -> rule4) OR ((((((((((triple8) -> rule2)) -> rule7)) -> rule9)) -> rule1)) -> rule4) OR ((((((((((triple8) -> rule2)) -> rule8)) -> rule9)) -> rule1)) -> rule4))] Fiona is young.[(triple10 OR ((triple9 triple8) -> rule3) OR ((((triple5) -> rule4) triple8) -> rule3) OR ((((((triple6) -> rule1)) -> rule4) triple8) -> rule3) OR ((((((((triple4) -> rule9)) -> rule1)) -> rule4) triple8) -> rule3) OR ((((((((((triple7) -> rule7)) -> rule9)) -> rule1)) -> rule4) triple8) -> rule3) OR ((((((((((triple7) -> rule8)) -> rule9)) -> rule1)) -> rule4) triple8) -> rule3) OR ((((((((((((triple8) -> rule2)) -> rule7)) -> rule9)) -> rule1)) -> rule4) triple8) -> rule3) OR ((((((((((((triple8) -> rule2)) -> rule8)) -> rule9)) -> rule1)) -> rule4) triple8) -> rule3))] Gary is rough.[(triple11)] Gary is white.[(triple12 OR ((((((((((triple11) -> rule2)) -> rule7)) -> rule9)) -> rule1)) -> rule4) OR ((((((((((triple11) -> rule2)) -> rule8)) -> rule9)) -> rule1)) -> rule4))] @1: Bob is nice.[(((triple1) -> rule9))] Erin is red.[(((triple2) -> rule2))] Gary is red.[(((triple11) -> rule2))] Gary is young.[(((triple12 triple11) -> rule3) OR ((((((((((((triple11) -> rule2)) -> rule7)) -> rule9)) -> rule1)) -> rule4) triple11) -> rule3) OR ((((((((((((triple11) -> rule2)) -> rule8)) -> rule9)) -> rule1)) -> rule4) triple11) -> rule3))] @2: Bob is blue.[(((((triple1) -> rule9)) -> rule1))] Erin is big.[(((((triple2) -> rule2)) -> rule7) OR ((((triple2) -> rule2)) -> rule8))] Gary is big.[(((((triple11) -> rule2)) -> rule7) OR ((((triple11) -> rule2)) -> rule8) OR ((triple12 ((triple12 triple11) -> rule3)) -> rule6))] @3: Bob is white.[(((((((triple1) -> rule9)) -> rule1)) -> rule4))] Erin is nice.[(((((((triple2) -> rule2)) -> rule7)) -> rule9) OR ((((((triple2) -> rule2)) -> rule8)) -> rule9))] Gary is nice.[(((((((triple11) -> rule2)) -> rule7)) -> rule9) OR ((((((triple11) -> rule2)) -> rule8)) -> rule9) OR ((((triple12 ((triple12 triple11) -> rule3)) -> rule6)) -> rule9))] @4: Erin is blue.[(((((((((triple2) -> rule2)) -> rule7)) -> rule9)) -> rule1) OR ((((((((triple2) -> rule2)) -> rule8)) -> rule9)) -> rule1))] Gary is blue.[(((((((((triple11) -> rule2)) -> rule7)) -> rule9)) -> rule1) OR ((((((((triple11) -> rule2)) -> rule8)) -> rule9)) -> rule1) OR ((((((triple12 ((triple12 triple11) -> rule3)) -> rule6)) -> rule9)) -> rule1))] @5: Erin is white.[(((((((((((triple2) -> rule2)) -> rule7)) -> rule9)) -> rule1)) -> rule4) OR ((((((((((triple2) -> rule2)) -> rule8)) -> rule9)) -> rule1)) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Erin is rough.
("Erin" "is" "rough" "+")
triple2
Erin is young.
("Erin" "is" "young" "+")
triple3
((((((((((((triple2) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple2) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is red.
("Erin" "is" "red" "+")
int6
((((((((((((triple2) -> (rule2 % int6))) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple2) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is red.
("Erin" "is" "red" "+")
int6
Fiona is big.
("Fiona" "is" "big" "+")
triple4
((triple7) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple7) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple9 triple10) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((triple8) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((triple8) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((triple9 ((triple9 triple8) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple5) -> (rule4 % int2)) triple10) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((triple5) -> (rule4 % int3)) ((triple9 triple8) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((triple9 ((((triple5) -> (rule4 % int3)) triple8) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((((triple6) -> (rule1 % int3))) -> (rule4 % int2)) triple10) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((triple5) -> (rule4 % int3)) ((((triple5) -> (rule4 % int3)) triple8) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((((triple6) -> (rule1 % int4))) -> (rule4 % int3)) ((triple9 triple8) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((((triple6) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple5) -> (rule4 % int3)) triple8) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((triple9 ((((((triple6) -> (rule1 % int4))) -> (rule4 % int3)) triple8) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((triple5) -> (rule4 % int4)) ((((((triple6) -> (rule1 % int3))) -> (rule4 % int4)) triple8) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((((triple6) -> (rule1 % int4))) -> (rule4 % int3)) ((((((triple6) -> (rule1 % int4))) -> (rule4 % int3)) triple8) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
((triple6) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((((triple4) -> (rule9 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((((triple7) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((((triple7) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((((triple9 triple10) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((((((triple8) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((((triple8) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((triple9 ((triple9 triple8) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
((triple4) -> (rule9 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((((triple7) -> (rule7 % int2))) -> (rule9 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple7) -> (rule8 % int2))) -> (rule9 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple9 triple10) -> (rule6 % int2))) -> (rule9 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((((triple8) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule9 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((((triple8) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((triple9 ((triple9 triple8) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((((((triple5) -> (rule4 % int3)) triple10) -> (rule6 % int2))) -> (rule9 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((((triple5) -> (rule4 % int4)) ((triple9 triple8) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((triple9 ((((triple5) -> (rule4 % int4)) triple8) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((((triple5) -> (rule4 % int4)) ((((triple5) -> (rule4 % int4)) triple8) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
triple7
((triple8) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
Fiona is white.
("Fiona" "is" "white" "+")
triple9
((triple5) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((((triple6) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((((triple4) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((((((triple7) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((((((triple7) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((((((((triple8) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((((((((((triple8) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
Fiona is young.
("Fiona" "is" "young" "+")
triple10
((triple9 triple8) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((((triple5) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((((triple6) -> (rule1 % int3))) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((((((triple4) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((((((triple7) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((((((triple7) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((((((((triple8) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Fiona is red.
("Fiona" "is" "red" "+")
int6
((((((((((((triple8) -> (rule2 % int6))) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Fiona is red.
("Fiona" "is" "red" "+")
int6
Gary is rough.
("Gary" "is" "rough" "+")
triple11
Gary is white.
("Gary" "is" "white" "+")
triple12
((((((((((triple11) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((((triple11) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
((triple1) -> (rule9 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((triple2) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple11) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple12 triple11) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((((((((((triple11) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple11) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((((triple11) -> (rule2 % int6))) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple11) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
Bob is blue.
("Bob" "is" "blue" "+")
((((triple1) -> (rule9 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
((((triple2) -> (rule2 % int2))) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple2) -> (rule2 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((((triple11) -> (rule2 % int2))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((triple11) -> (rule2 % int2))) -> (rule8 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((triple12 ((triple12 triple11) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
((((((triple1) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
((((((triple2) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule9 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple2) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
((((((triple11) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule9 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((triple11) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple12 ((triple12 triple11) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
((((((((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((((triple2) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
((((((((triple11) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((triple11) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple12 ((triple12 triple11) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
((((((((((triple2) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((((triple2) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5