Bob is big. Bob is blue. Bob is green. Bob is red. Bob is young. Charlie is big. Charlie is blue. Charlie is green. Charlie is white. Fiona is nice. Gary is big. Gary is blue. Gary is red. Gary is white. If something is blue then it is red. White, big things are red. Young things are green. If something is red then it is nice. All red, young things are blue. White things are blue. All nice things are young. All green, blue things are big. All green things are red.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
If something is blue then it is red.
((("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
White, big things are red.
((("something" "is" "white" "+") ("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
Young things are green.
((("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
If something is red then it is nice.
((("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
All red, young things are blue.
((("something" "is" "red" "+") ("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
White things are blue.
((("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
All nice things are young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
All green, blue things are big.
((("something" "is" "green" "+") ("something" "is" "blue" "+")) -> ("something" "is" "big" "+"))
All green things are red.
((("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
Gary is white.
True
1
proof
[(triple14)]
("Gary" "is" "white" "+")
triple14
Fiona is not nice.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "nice" "-")
triple10
Bob is nice.
True
2
proof
[(((triple4) -> rule4) OR ((((triple2) -> rule1)) -> rule4) OR ((((triple3) -> rule9)) -> rule4) OR ((((((triple5) -> rule3)) -> rule9)) -> rule4))]
("Bob" "is" "nice" "+")
((triple4) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple3) -> (rule9 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((((triple5) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Fiona is not young.
False
2
inv-proof
[(((triple10) -> rule7))]
("Fiona" "is" "young" "-")
((triple10) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is young.
True
3
proof
[(((((triple13) -> rule4)) -> rule7) OR ((((((triple12) -> rule1)) -> rule4)) -> rule7) OR ((((((triple14 triple11) -> rule2)) -> rule4)) -> rule7) OR ((((((((triple14) -> rule6)) -> rule1)) -> rule4)) -> rule7))]
("Gary" "is" "young" "+")
((((triple13) -> (rule4 % int2))) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((((triple12) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((triple14 triple11) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((((triple14) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is not young.
False
3
inv-proof
[(((((triple13) -> rule4)) -> rule7) OR ((((((triple12) -> rule1)) -> rule4)) -> rule7) OR ((((((triple14 triple11) -> rule2)) -> rule4)) -> rule7) OR ((((((((triple14) -> rule6)) -> rule1)) -> rule4)) -> rule7))]
("Gary" "is" "young" "-")
((((triple13) -> (rule4 % int2))) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((((triple12) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((triple14 triple11) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((((triple14) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Charlie is young.
True
4
proof
[(((((((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((((triple8) -> rule9)) -> rule4)) -> rule7) OR ((((((triple9 triple6) -> rule2)) -> rule4)) -> rule7) OR ((((((((triple9) -> rule6)) -> rule1)) -> rule4)) -> rule7) OR ((((((triple9 ((triple8 triple7) -> rule8)) -> rule2)) -> rule4)) -> rule7) OR ((((((triple9 ((triple8 ((triple9) -> rule6)) -> rule8)) -> rule2)) -> rule4)) -> rule7))]
("Charlie" "is" "young" "+")
((((((triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((((triple8) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((((triple9 triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((((((triple9) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple9 ((triple8 triple7) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple9 ((triple8 ((triple9) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
Gary is not green.
False
4
inv-proof
[(((((((triple13) -> rule4)) -> rule7)) -> rule3) OR ((((((((triple12) -> rule1)) -> rule4)) -> rule7)) -> rule3) OR ((((((((triple14 triple11) -> rule2)) -> rule4)) -> rule7)) -> rule3) OR ((((((((((triple14) -> rule6)) -> rule1)) -> rule4)) -> rule7)) -> rule3))]
("Gary" "is" "green" "-")
((((((triple13) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((((triple12) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((triple14 triple11) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((((triple14) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
Fiona is blue.
True
7
proof
[(((((((((triple10) -> rule7)) -> rule3)) -> rule9) ((triple10) -> rule7)) -> rule5))]
("Fiona" "is" "blue" "+")
((((((((triple10) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule9 % int2)) ((triple10) -> (rule7 % int4))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is not blue.
False
7
inv-proof
[(((((((((triple10) -> rule7)) -> rule3)) -> rule9) ((triple10) -> rule7)) -> rule5))]
("Fiona" "is" "blue" "-")
((((((((triple10) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule9 % int2)) ((triple10) -> (rule7 % int4))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is big.
True
11
proof
[(((((((triple10) -> rule7)) -> rule3) ((((((((triple10) -> rule7)) -> rule3)) -> rule9) ((triple10) -> rule7)) -> rule5)) -> rule8))]
("Fiona" "is" "big" "+")
((((((triple10) -> (rule7 % int5))) -> (rule3 % int4)) ((((((((triple10) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule9 % int3)) ((triple10) -> (rule7 % int5))) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
Fiona is not big.
False
11
inv-proof
[(((((((triple10) -> rule7)) -> rule3) ((((((((triple10) -> rule7)) -> rule3)) -> rule9) ((triple10) -> rule7)) -> rule5)) -> rule8))]
("Fiona" "is" "big" "-")
((((((triple10) -> (rule7 % int5))) -> (rule3 % int4)) ((((((((triple10) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule9 % int3)) ((triple10) -> (rule7 % int5))) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Bob is big.[(triple1 OR ((triple3 triple2) -> rule8) OR ((triple3 ((triple4 triple5) -> rule5)) -> rule8) OR ((((triple5) -> rule3) triple2) -> rule8) OR ((((triple5) -> rule3) ((triple4 triple5) -> rule5)) -> rule8) OR ((triple3 ((((triple3) -> rule9) triple5) -> rule5)) -> rule8) OR ((((triple5) -> rule3) ((((triple3) -> rule9) triple5) -> rule5)) -> rule8) OR ((triple3 ((triple4 ((((triple4) -> rule4)) -> rule7)) -> rule5)) -> rule8) OR ((triple3 ((((((triple5) -> rule3)) -> rule9) triple5) -> rule5)) -> rule8) OR ((((((((triple4) -> rule4)) -> rule7)) -> rule3) triple2) -> rule8) OR ((triple3 ((((triple3) -> rule9) ((((triple4) -> rule4)) -> rule7)) -> rule5)) -> rule8) OR ((((triple5) -> rule3) ((triple4 ((((triple4) -> rule4)) -> rule7)) -> rule5)) -> rule8) OR ((((triple5) -> rule3) ((((((triple5) -> rule3)) -> rule9) triple5) -> rule5)) -> rule8) OR ((((((((triple4) -> rule4)) -> rule7)) -> rule3) ((triple4 triple5) -> rule5)) -> rule8) OR ((triple3 ((((((triple5) -> rule3)) -> rule9) ((((triple4) -> rule4)) -> rule7)) -> rule5)) -> rule8) OR ((((triple5) -> rule3) ((((triple3) -> rule9) ((((triple4) -> rule4)) -> rule7)) -> rule5)) -> rule8) OR ((((((((triple4) -> rule4)) -> rule7)) -> rule3) ((((triple3) -> rule9) triple5) -> rule5)) -> rule8) OR ((((triple5) -> rule3) ((((((triple5) -> rule3)) -> rule9) ((((triple4) -> rule4)) -> rule7)) -> rule5)) -> rule8) OR ((((((((triple4) -> rule4)) -> rule7)) -> rule3) ((triple4 ((((triple4) -> rule4)) -> rule7)) -> rule5)) -> rule8) OR ((((((((triple4) -> rule4)) -> rule7)) -> rule3) ((((((triple5) -> rule3)) -> rule9) triple5) -> rule5)) -> rule8) OR ((((((((triple4) -> rule4)) -> rule7)) -> rule3) ((((triple3) -> rule9) ((((triple4) -> rule4)) -> rule7)) -> rule5)) -> rule8) OR ((((((((triple4) -> rule4)) -> rule7)) -> rule3) ((((((triple5) -> rule3)) -> rule9) ((((triple4) -> rule4)) -> rule7)) -> rule5)) -> rule8) OR ((triple3 ((triple4 ((((((triple3) -> rule9)) -> rule4)) -> rule7)) -> rule5)) -> rule8) OR ((((((((((triple2) -> rule1)) -> rule4)) -> rule7)) -> rule3) triple2) -> rule8) OR ((triple3 ((((triple3) -> rule9) ((((((triple3) -> rule9)) -> rule4)) -> rule7)) -> rule5)) -> rule8) OR ((((triple5) -> rule3) ((triple4 ((((((triple3) -> rule9)) -> rule4)) -> rule7)) -> rule5)) -> rule8) OR ((((((((((triple2) -> rule1)) -> rule4)) -> rule7)) -> rule3) ((triple4 triple5) -> rule5)) -> rule8) OR ((triple3 ((((((triple5) -> rule3)) -> rule9) ((((((triple3) -> rule9)) -> rule4)) -> rule7)) -> rule5)) -> rule8) OR ((((triple5) -> rule3) ((((triple3) -> rule9) ((((((triple3) -> rule9)) -> rule4)) -> rule7)) -> rule5)) -> rule8) OR ((((((((((triple2) -> rule1)) -> rule4)) -> rule7)) -> rule3) ((((triple3) -> rule9) triple5) -> rule5)) -> rule8) OR ((((triple5) -> rule3) ((((((triple5) -> rule3)) -> rule9) ((((((triple3) -> rule9)) -> rule4)) -> rule7)) -> rule5)) -> rule8) OR ((((((((triple4) -> rule4)) -> rule7)) -> rule3) ((triple4 ((((((triple3) -> rule9)) -> rule4)) -> rule7)) -> rule5)) -> rule8) OR ((((((((((triple2) -> rule1)) -> rule4)) -> rule7)) -> rule3) ((triple4 ((((triple4) -> rule4)) -> rule7)) -> rule5)) -> rule8) OR ((((((((((triple2) -> rule1)) -> rule4)) -> rule7)) -> rule3) ((((((triple5) -> rule3)) -> rule9) triple5) -> rule5)) -> rule8) OR ((((((((triple4) -> rule4)) -> rule7)) -> rule3) ((((triple3) -> rule9) ((((((triple3) -> rule9)) -> rule4)) -> rule7)) -> rule5)) -> rule8) OR ((((((((((triple2) -> rule1)) -> rule4)) -> rule7)) -> rule3) ((triple4 ((((((triple3) -> rule9)) -> rule4)) -> rule7)) -> rule5)) -> rule8) OR ((((((((((triple2) -> rule1)) -> rule4)) -> rule7)) -> rule3) ((((triple3) -> rule9) ((((triple4) -> rule4)) -> rule7)) -> rule5)) -> rule8) OR ((((((((triple4) -> rule4)) -> rule7)) -> rule3) ((((((triple5) -> rule3)) -> rule9) ((((((triple3) -> rule9)) -> rule4)) -> rule7)) -> rule5)) -> rule8) OR ((((((((((triple2) -> rule1)) -> rule4)) -> rule7)) -> rule3) ((((triple3) -> rule9) ((((((triple3) -> rule9)) -> rule4)) -> rule7)) -> rule5)) -> rule8) OR ((((((((((triple2) -> rule1)) -> rule4)) -> rule7)) -> rule3) ((((((triple5) -> rule3)) -> rule9) ((((triple4) -> rule4)) -> rule7)) -> rule5)) -> rule8) OR ((((((((((triple2) -> rule1)) -> rule4)) -> rule7)) -> rule3) ((((((triple5) -> rule3)) -> rule9) ((((((triple3) -> rule9)) -> rule4)) -> rule7)) -> rule5)) -> rule8))] Bob is blue.[(triple2 OR ((triple4 triple5) -> rule5) OR ((((triple3) -> rule9) triple5) -> rule5) OR ((triple4 ((((triple4) -> rule4)) -> rule7)) -> rule5) OR ((((((triple5) -> rule3)) -> rule9) triple5) -> rule5) OR ((((triple3) -> rule9) ((((triple4) -> rule4)) -> rule7)) -> rule5) OR ((((((triple5) -> rule3)) -> rule9) ((((triple4) -> rule4)) -> rule7)) -> rule5) OR ((triple4 ((((((triple3) -> rule9)) -> rule4)) -> rule7)) -> rule5) OR ((((triple3) -> rule9) ((((((triple3) -> rule9)) -> rule4)) -> rule7)) -> rule5) OR ((((((triple5) -> rule3)) -> rule9) ((((((triple3) -> rule9)) -> rule4)) -> rule7)) -> rule5))] Bob is green.[(triple3 OR ((triple5) -> rule3) OR ((((((triple4) -> rule4)) -> rule7)) -> rule3) OR ((((((((triple2) -> rule1)) -> rule4)) -> rule7)) -> rule3))] Bob is red.[(triple4 OR ((triple2) -> rule1) OR ((triple3) -> rule9) OR ((((triple5) -> rule3)) -> rule9))] Bob is young.[(triple5 OR ((((triple4) -> rule4)) -> rule7) OR ((((((triple2) -> rule1)) -> rule4)) -> rule7) OR ((((((triple3) -> rule9)) -> rule4)) -> rule7))] Charlie is big.[(triple6 OR ((triple8 triple7) -> rule8) OR ((triple8 ((triple9) -> rule6)) -> rule8) OR ((((((((((triple7) -> rule1)) -> rule4)) -> rule7)) -> rule3) triple7) -> rule8) OR ((triple8 ((((triple8) -> rule9) ((((((triple8) -> rule9)) -> rule4)) -> rule7)) -> rule5)) -> rule8) OR ((((((((((triple7) -> rule1)) -> rule4)) -> rule7)) -> rule3) ((triple9) -> rule6)) -> rule8) OR ((((((((((triple7) -> rule1)) -> rule4)) -> rule7)) -> rule3) ((((triple8) -> rule9) ((((((triple8) -> rule9)) -> rule4)) -> rule7)) -> rule5)) -> rule8) OR ((((((((((((triple9) -> rule6)) -> rule1)) -> rule4)) -> rule7)) -> rule3) triple7) -> rule8) OR ((((((((((((triple9) -> rule6)) -> rule1)) -> rule4)) -> rule7)) -> rule3) ((triple9) -> rule6)) -> rule8) OR ((((((((((((triple9) -> rule6)) -> rule1)) -> rule4)) -> rule7)) -> rule3) ((((triple8) -> rule9) ((((((triple8) -> rule9)) -> rule4)) -> rule7)) -> rule5)) -> rule8))] Charlie is blue.[(triple7 OR ((triple9) -> rule6) OR ((((triple8) -> rule9) ((((((triple8) -> rule9)) -> rule4)) -> rule7)) -> rule5) OR ((((triple8) -> rule9) ((((((triple9 triple6) -> rule2)) -> rule4)) -> rule7)) -> rule5) OR ((((triple9 triple6) -> rule2) ((((((triple8) -> rule9)) -> rule4)) -> rule7)) -> rule5) OR ((((triple9 triple6) -> rule2) ((((((triple9 triple6) -> rule2)) -> rule4)) -> rule7)) -> rule5))] Charlie is green.[(triple8 OR ((((((((triple7) -> rule1)) -> rule4)) -> rule7)) -> rule3) OR ((((((((triple9 triple6) -> rule2)) -> rule4)) -> rule7)) -> rule3) OR ((((((((((triple9) -> rule6)) -> rule1)) -> rule4)) -> rule7)) -> rule3))] Charlie is white.[(triple9)] Fiona is nice.[(triple10)] Gary is big.[(triple11 OR ((((((((triple13) -> rule4)) -> rule7)) -> rule3) triple12) -> rule8) OR ((((((((triple13) -> rule4)) -> rule7)) -> rule3) ((triple14) -> rule6)) -> rule8) OR ((((((((triple13) -> rule4)) -> rule7)) -> rule3) ((triple13 ((((triple13) -> rule4)) -> rule7)) -> rule5)) -> rule8) OR ((((((((((triple12) -> rule1)) -> rule4)) -> rule7)) -> rule3) triple12) -> rule8) OR ((((((((((triple12) -> rule1)) -> rule4)) -> rule7)) -> rule3) ((triple14) -> rule6)) -> rule8) OR ((((((((((triple12) -> rule1)) -> rule4)) -> rule7)) -> rule3) ((triple13 ((((triple13) -> rule4)) -> rule7)) -> rule5)) -> rule8) OR ((((((((((((triple14) -> rule6)) -> rule1)) -> rule4)) -> rule7)) -> rule3) triple12) -> rule8) OR ((((((((((((triple14) -> rule6)) -> rule1)) -> rule4)) -> rule7)) -> rule3) ((triple14) -> rule6)) -> rule8) OR ((((((((((((triple14) -> rule6)) -> rule1)) -> rule4)) -> rule7)) -> rule3) ((triple13 ((((triple13) -> rule4)) -> rule7)) -> rule5)) -> rule8))] Gary is blue.[(triple12 OR ((triple14) -> rule6) OR ((triple13 ((((triple13) -> rule4)) -> rule7)) -> rule5) OR ((((triple14 triple11) -> rule2) ((((triple13) -> rule4)) -> rule7)) -> rule5) OR ((triple13 ((((((triple14 triple11) -> rule2)) -> rule4)) -> rule7)) -> rule5) OR ((((triple14 triple11) -> rule2) ((((((triple14 triple11) -> rule2)) -> rule4)) -> rule7)) -> rule5))] Gary is red.[(triple13 OR ((triple12) -> rule1) OR ((triple14 triple11) -> rule2) OR ((((triple14) -> rule6)) -> rule1))] Gary is white.[(triple14)] @1: Bob is nice.[(((triple4) -> rule4) OR ((((triple2) -> rule1)) -> rule4) OR ((((triple3) -> rule9)) -> rule4) OR ((((((triple5) -> rule3)) -> rule9)) -> rule4))] Charlie is red.[(((triple7) -> rule1) OR ((triple8) -> rule9) OR ((triple9 triple6) -> rule2) OR ((((triple9) -> rule6)) -> rule1) OR ((triple9 ((triple8 triple7) -> rule8)) -> rule2) OR ((triple9 ((triple8 ((triple9) -> rule6)) -> rule8)) -> rule2))] Fiona is young.[(((triple10) -> rule7))] Gary is nice.[(((triple13) -> rule4) OR ((((triple12) -> rule1)) -> rule4) OR ((((triple14 triple11) -> rule2)) -> rule4) OR ((((((triple14) -> rule6)) -> rule1)) -> rule4))] @2: Charlie is nice.[(((((triple7) -> rule1)) -> rule4) OR ((((triple8) -> rule9)) -> rule4) OR ((((triple9 triple6) -> rule2)) -> rule4) OR ((((((triple9) -> rule6)) -> rule1)) -> rule4) OR ((((triple9 ((triple8 triple7) -> rule8)) -> rule2)) -> rule4) OR ((((triple9 ((triple8 ((triple9) -> rule6)) -> rule8)) -> rule2)) -> rule4))] Fiona is green.[(((((triple10) -> rule7)) -> rule3))] Gary is young.[(((((triple13) -> rule4)) -> rule7) OR ((((((triple12) -> rule1)) -> rule4)) -> rule7) OR ((((((triple14 triple11) -> rule2)) -> rule4)) -> rule7) OR ((((((((triple14) -> rule6)) -> rule1)) -> rule4)) -> rule7))] @3: Charlie is young.[(((((((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((((triple8) -> rule9)) -> rule4)) -> rule7) OR ((((((triple9 triple6) -> rule2)) -> rule4)) -> rule7) OR ((((((((triple9) -> rule6)) -> rule1)) -> rule4)) -> rule7) OR ((((((triple9 ((triple8 triple7) -> rule8)) -> rule2)) -> rule4)) -> rule7) OR ((((((triple9 ((triple8 ((triple9) -> rule6)) -> rule8)) -> rule2)) -> rule4)) -> rule7))] Fiona is red.[(((((((triple10) -> rule7)) -> rule3)) -> rule9))] Gary is green.[(((((((triple13) -> rule4)) -> rule7)) -> rule3) OR ((((((((triple12) -> rule1)) -> rule4)) -> rule7)) -> rule3) OR ((((((((triple14 triple11) -> rule2)) -> rule4)) -> rule7)) -> rule3) OR ((((((((((triple14) -> rule6)) -> rule1)) -> rule4)) -> rule7)) -> rule3))] @4: Fiona is blue.[(((((((((triple10) -> rule7)) -> rule3)) -> rule9) ((triple10) -> rule7)) -> rule5))] @5: Fiona is big.[(((((((triple10) -> rule7)) -> rule3) ((((((((triple10) -> rule7)) -> rule3)) -> rule9) ((triple10) -> rule7)) -> rule5)) -> rule8))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple3 triple2) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple3 ((triple4 triple5) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple5) -> (rule3 % int2)) triple2) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple5) -> (rule3 % int3)) ((triple4 triple5) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((triple3 ((((triple3) -> (rule9 % int3)) triple5) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple5) -> (rule3 % int4)) ((((triple3) -> (rule9 % int3)) triple5) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((triple3 ((triple4 ((((triple4) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((triple3 ((((((triple5) -> (rule3 % int4))) -> (rule9 % int3)) triple5) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple4) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple2) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((triple3 ((((triple3) -> (rule9 % int5)) ((((triple4) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((triple5) -> (rule3 % int5)) ((triple4 ((((triple4) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((triple5) -> (rule3 % int4)) ((((((triple5) -> (rule3 % int4))) -> (rule9 % int3)) triple5) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple4) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((triple4 triple5) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((triple3 ((((((triple5) -> (rule3 % int6))) -> (rule9 % int5)) ((((triple4) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((triple5) -> (rule3 % int6)) ((((triple3) -> (rule9 % int5)) ((((triple4) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((((triple4) -> (rule4 % int6))) -> (rule7 % int5))) -> (rule3 % int4)) ((((triple3) -> (rule9 % int3)) triple5) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
int6
((((triple5) -> (rule3 % int6)) ((((((triple5) -> (rule3 % int6))) -> (rule9 % int5)) ((((triple4) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((((triple4) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((triple4 ((((triple4) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((((triple4) -> (rule4 % int6))) -> (rule7 % int5))) -> (rule3 % int4)) ((((((triple5) -> (rule3 % int4))) -> (rule9 % int3)) triple5) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
int6
((((((((triple4) -> (rule4 % int6))) -> (rule7 % int5))) -> (rule3 % int4)) ((((triple3) -> (rule9 % int3)) ((((triple4) -> (rule4 % int6))) -> (rule7 % int5))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
int6
((((((((triple4) -> (rule4 % int6))) -> (rule7 % int5))) -> (rule3 % int4)) ((((((triple5) -> (rule3 % int4))) -> (rule9 % int3)) ((((triple4) -> (rule4 % int6))) -> (rule7 % int5))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
int6
((triple3 ((triple4 ((((((triple3) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((((((triple2) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple2) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((triple3 ((((triple3) -> (rule9 % int5)) ((((((triple3) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((triple5) -> (rule3 % int6)) ((triple4 ((((((triple3) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((((((triple2) -> (rule1 % int6))) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((triple4 triple5) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((triple3 ((((((triple5) -> (rule3 % int6))) -> (rule9 % int5)) ((((((triple3) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((triple5) -> (rule3 % int6)) ((((triple3) -> (rule9 % int5)) ((((((triple3) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((((((triple2) -> (rule1 % int6))) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple3) -> (rule9 % int6)) triple5) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((triple5) -> (rule3 % int6)) ((((((triple5) -> (rule3 % int6))) -> (rule9 % int5)) ((((((triple3) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((((triple4) -> (rule4 % int6))) -> (rule7 % int5))) -> (rule3 % int4)) ((triple4 ((((((triple3) -> (rule9 % int3))) -> (rule4 % int6))) -> (rule7 % int5))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
int6
((((((((((triple2) -> (rule1 % int6))) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((triple4 ((((triple4) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((((((((triple2) -> (rule1 % int6))) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((((triple5) -> (rule3 % int3))) -> (rule9 % int6)) triple5) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((((((triple4) -> (rule4 % int6))) -> (rule7 % int5))) -> (rule3 % int4)) ((((triple3) -> (rule9 % int3)) ((((((triple3) -> (rule9 % int3))) -> (rule4 % int6))) -> (rule7 % int5))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
int6
((((((((((triple2) -> (rule1 % int6))) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((triple4 ((((((triple3) -> (rule9 % int6))) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((((((((triple2) -> (rule1 % int6))) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple3) -> (rule9 % int6)) ((((triple4) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((((((triple4) -> (rule4 % int6))) -> (rule7 % int5))) -> (rule3 % int4)) ((((((triple5) -> (rule3 % int4))) -> (rule9 % int3)) ((((((triple3) -> (rule9 % int3))) -> (rule4 % int6))) -> (rule7 % int5))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
int6
((((((((((triple2) -> (rule1 % int6))) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple3) -> (rule9 % int6)) ((((((triple3) -> (rule9 % int6))) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((((((((triple2) -> (rule1 % int6))) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((((triple5) -> (rule3 % int3))) -> (rule9 % int6)) ((((triple4) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((((((((triple2) -> (rule1 % int6))) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((((triple5) -> (rule3 % int3))) -> (rule9 % int6)) ((((((triple3) -> (rule9 % int6))) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
Bob is blue.
("Bob" "is" "blue" "+")
triple2
((triple4 triple5) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((triple3) -> (rule9 % int2)) triple5) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((triple4 ((((triple4) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((((triple5) -> (rule3 % int3))) -> (rule9 % int2)) triple5) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((triple3) -> (rule9 % int4)) ((((triple4) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((triple5) -> (rule3 % int5))) -> (rule9 % int4)) ((((triple4) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((triple4 ((((((triple3) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((triple3) -> (rule9 % int4)) ((((((triple3) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((triple5) -> (rule3 % int5))) -> (rule9 % int4)) ((((((triple3) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
triple3
((triple5) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((((triple4) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((((((triple2) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
triple4
((triple2) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((triple3) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
triple5
((((triple4) -> (rule4 % int2))) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((((triple2) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((((triple3) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
triple6
((triple8 triple7) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple8 ((triple9) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((((((((triple7) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple7) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
((triple8 ((((triple8) -> (rule9 % int5)) ((((((triple8) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
((((((((((triple7) -> (rule1 % int6))) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((triple9) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
Charlie is red.
("Charlie" "is" "red" "+")
int6
((((((((((triple7) -> (rule1 % int6))) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple8) -> (rule9 % int6)) ((((((triple8) -> (rule9 % int6))) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
Charlie is red.
("Charlie" "is" "red" "+")
int6
((((((((((((triple9) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple7) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
Charlie is blue.
("Charlie" "is" "blue" "+")
int6
((((((((((((triple9) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) ((triple9) -> (rule6 % int6))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
Charlie is blue.
("Charlie" "is" "blue" "+")
int6
((((((((((((triple9) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) ((((triple8) -> (rule9 % int5)) ((((((triple8) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int6))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
Charlie is blue.
("Charlie" "is" "blue" "+")
int6
Charlie is blue.
("Charlie" "is" "blue" "+")
triple7
((triple9) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((((triple8) -> (rule9 % int4)) ((((((triple8) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((triple8) -> (rule9 % int4)) ((((((triple9 triple6) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((triple9 triple6) -> (rule2 % int4)) ((((((triple8) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((triple9 triple6) -> (rule2 % int4)) ((((((triple9 triple6) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
triple8
((((((((triple7) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((((((triple9 triple6) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((((((((triple9) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
triple9
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
Gary is big.
("Gary" "is" "big" "+")
triple11
((((((((triple13) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple12) -> (rule8 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((((triple13) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((triple14) -> (rule6 % int2))) -> (rule8 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((triple13) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((triple13 ((((triple13) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((((triple12) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple12) -> (rule8 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((((triple12) -> (rule1 % int6))) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((triple14) -> (rule6 % int2))) -> (rule8 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((triple12) -> (rule1 % int6))) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((triple13 ((((triple13) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((((triple14) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple12) -> (rule8 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is blue.
("Gary" "is" "blue" "+")
int6
((((((((((((triple14) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) ((triple14) -> (rule6 % int6))) -> (rule8 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is blue.
("Gary" "is" "blue" "+")
int6
((((((((((((triple14) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) ((triple13 ((((triple13) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int6))) -> (rule8 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is blue.
("Gary" "is" "blue" "+")
int6
Gary is blue.
("Gary" "is" "blue" "+")
triple12
((triple14) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((triple13 ((((triple13) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((triple14 triple11) -> (rule2 % int4)) ((((triple13) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((triple13 ((((((triple14 triple11) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((triple14 triple11) -> (rule2 % int4)) ((((((triple14 triple11) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
triple13
((triple12) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((triple14 triple11) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((((triple14) -> (rule6 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
triple14
Bob is nice.
("Bob" "is" "nice" "+")
((triple4) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple3) -> (rule9 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((((triple5) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
((triple7) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((triple8) -> (rule9 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((triple9 triple6) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((((triple9) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((triple9 ((triple8 triple7) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((triple9 ((triple8 ((triple9) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
((triple10) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple13) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((((triple12) -> (rule1 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((triple14 triple11) -> (rule2 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((((triple14) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple7) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((((triple8) -> (rule9 % int2))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((((triple9 triple6) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((((((triple9) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple9 ((triple8 triple7) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((triple9 ((triple8 ((triple9) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
((((triple10) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((((triple13) -> (rule4 % int2))) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((((triple12) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((triple14 triple11) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((((triple14) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
((((((triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((((triple8) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((((triple9 triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((((((triple9) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple9 ((triple8 triple7) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple9 ((triple8 ((triple9) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
Fiona is red.
("Fiona" "is" "red" "+")
((((((triple10) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
((((((triple13) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((((triple12) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((triple14 triple11) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((((triple14) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
Fiona is blue.
("Fiona" "is" "blue" "+")
((((((((triple10) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule9 % int2)) ((triple10) -> (rule7 % int4))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
((((((triple10) -> (rule7 % int5))) -> (rule3 % int4)) ((((((((triple10) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule9 % int3)) ((triple10) -> (rule7 % int5))) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5