Charlie is big. Charlie is green. Charlie is round. Fiona is green. Fiona is round. Fiona is young. Gary is big. Gary is blue. Gary is green. Gary is red. Gary is round. Harry is big. Harry is blue. Harry is red. Harry is rough. Red people are blue. Red people are young. All round, green people are big. Young, green people are rough. All round, big people are rough. Young people are round. Big people are round. If someone is rough and green then they are red.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Red people are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
Red people are young.
((("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
All round, green people are big.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Young, green people are rough.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
All round, big people are rough.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Young people are round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Big people are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and green then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
Fiona is green.
True
1
proof
[(triple4)]
("Fiona" "is" "green" "+")
triple4
Charlie is not green.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "green" "-")
triple2
Fiona is rough.
True
3
proof
[(((triple6 triple4) -> rule4) OR ((triple5 ((triple5 triple4) -> rule3)) -> rule5) OR ((((triple6) -> rule6) ((triple5 triple4) -> rule3)) -> rule5) OR ((triple5 ((((triple6) -> rule6) triple4) -> rule3)) -> rule5) OR ((((triple6) -> rule6) ((((triple6) -> rule6) triple4) -> rule3)) -> rule5))]
("Fiona" "is" "rough" "+")
((triple6 triple4) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple5 ((triple5 triple4) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple6) -> (rule6 % int3)) ((triple5 triple4) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((triple5 ((((triple6) -> (rule6 % int3)) triple4) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((triple6) -> (rule6 % int3)) ((((triple6) -> (rule6 % int3)) triple4) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Harry is not young.
False
2
inv-proof
[(((triple14) -> rule2))]
("Harry" "is" "young" "-")
((triple14) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Fiona is red.
True
5
proof
[(((((triple6 triple4) -> rule4) triple4) -> rule8) OR ((((triple5 ((triple5 triple4) -> rule3)) -> rule5) triple4) -> rule8) OR ((((((triple6) -> rule6) ((triple5 triple4) -> rule3)) -> rule5) triple4) -> rule8) OR ((((triple5 ((((triple6) -> rule6) triple4) -> rule3)) -> rule5) triple4) -> rule8) OR ((((((triple6) -> rule6) ((((triple6) -> rule6) triple4) -> rule3)) -> rule5) triple4) -> rule8))]
("Fiona" "is" "red" "+")
((((triple6 triple4) -> (rule4 % int2)) triple4) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple5 ((triple5 triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple4) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((((triple6) -> (rule6 % int4)) ((triple5 triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple4) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple5 ((((triple6) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple4) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((triple6) -> (rule6 % int4)) ((((triple6) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple4) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is not red.
False
5
inv-proof
[(((((triple6 triple4) -> rule4) triple4) -> rule8) OR ((((triple5 ((triple5 triple4) -> rule3)) -> rule5) triple4) -> rule8) OR ((((((triple6) -> rule6) ((triple5 triple4) -> rule3)) -> rule5) triple4) -> rule8) OR ((((triple5 ((((triple6) -> rule6) triple4) -> rule3)) -> rule5) triple4) -> rule8) OR ((((((triple6) -> rule6) ((((triple6) -> rule6) triple4) -> rule3)) -> rule5) triple4) -> rule8))]
("Fiona" "is" "red" "-")
((((triple6 triple4) -> (rule4 % int2)) triple4) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple5 ((triple5 triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple4) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((((triple6) -> (rule6 % int4)) ((triple5 triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple4) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple5 ((((triple6) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple4) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((triple6) -> (rule6 % int4)) ((((triple6) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple4) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Charlie is young.
True
6
proof
[(((((((triple3 triple1) -> rule5) triple2) -> rule8)) -> rule2) OR ((((((triple3 ((triple3 triple2) -> rule3)) -> rule5) triple2) -> rule8)) -> rule2) OR ((((((((triple1) -> rule7) triple1) -> rule5) triple2) -> rule8)) -> rule2) OR ((((((((triple1) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) triple2) -> rule8)) -> rule2))]
("Charlie" "is" "young" "+")
((((((triple3 triple1) -> (rule5 % int3)) triple2) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple3 ((triple3 triple2) -> (rule3 % int4))) -> (rule5 % int3)) triple2) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple1) -> (rule7 % int4)) triple1) -> (rule5 % int3)) triple2) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((((triple1) -> (rule7 % int5)) ((triple3 triple2) -> (rule3 % int4))) -> (rule5 % int3)) triple2) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Fiona is not blue.
False
6
inv-proof
[(((((((triple6 triple4) -> rule4) triple4) -> rule8)) -> rule1) OR ((((((triple5 ((triple5 triple4) -> rule3)) -> rule5) triple4) -> rule8)) -> rule1) OR ((((((((triple6) -> rule6) ((triple5 triple4) -> rule3)) -> rule5) triple4) -> rule8)) -> rule1) OR ((((((triple5 ((((triple6) -> rule6) triple4) -> rule3)) -> rule5) triple4) -> rule8)) -> rule1) OR ((((((((triple6) -> rule6) ((((triple6) -> rule6) triple4) -> rule3)) -> rule5) triple4) -> rule8)) -> rule1))]
("Fiona" "is" "blue" "-")
((((((triple6 triple4) -> (rule4 % int3)) triple4) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple5 ((triple5 triple4) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((((((triple6) -> (rule6 % int5)) ((triple5 triple4) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((triple5 ((((triple6) -> (rule6 % int5)) triple4) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((((triple6) -> (rule6 % int5)) ((((triple6) -> (rule6 % int5)) triple4) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
@0: Charlie is big.[(triple1 OR ((triple3 triple2) -> rule3))] Charlie is green.[(triple2)] Charlie is round.[(triple3 OR ((triple1) -> rule7))] Fiona is green.[(triple4)] Fiona is round.[(triple5 OR ((triple6) -> rule6))] Fiona is young.[(triple6 OR ((((((triple5 ((triple5 triple4) -> rule3)) -> rule5) triple4) -> rule8)) -> rule2))] Gary is big.[(triple7 OR ((triple11 triple9) -> rule3) OR ((((((triple10) -> rule2)) -> rule6) triple9) -> rule3))] Gary is blue.[(triple8 OR ((triple10) -> rule1) OR ((((((triple11 triple7) -> rule5) triple9) -> rule8)) -> rule1) OR ((((((triple11 ((triple11 triple9) -> rule3)) -> rule5) triple9) -> rule8)) -> rule1) OR ((((((((triple7) -> rule7) triple7) -> rule5) triple9) -> rule8)) -> rule1) OR ((((((((triple7) -> rule7) ((triple11 triple9) -> rule3)) -> rule5) triple9) -> rule8)) -> rule1))] Gary is green.[(triple9)] Gary is red.[(triple10 OR ((((triple11 triple7) -> rule5) triple9) -> rule8) OR ((((triple11 ((triple11 triple9) -> rule3)) -> rule5) triple9) -> rule8) OR ((((((triple7) -> rule7) triple7) -> rule5) triple9) -> rule8) OR ((((((triple7) -> rule7) ((triple11 triple9) -> rule3)) -> rule5) triple9) -> rule8))] Gary is round.[(triple11 OR ((triple7) -> rule7) OR ((((triple10) -> rule2)) -> rule6))] Harry is big.[(triple12)] Harry is blue.[(triple13 OR ((triple14) -> rule1))] Harry is red.[(triple14)] Harry is rough.[(triple15 OR ((((triple12) -> rule7) triple12) -> rule5) OR ((((((triple14) -> rule2)) -> rule6) triple12) -> rule5))] @1: Charlie is rough.[(((triple3 triple1) -> rule5) OR ((triple3 ((triple3 triple2) -> rule3)) -> rule5) OR ((((triple1) -> rule7) triple1) -> rule5) OR ((((triple1) -> rule7) ((triple3 triple2) -> rule3)) -> rule5))] Fiona is big.[(((triple5 triple4) -> rule3) OR ((((triple6) -> rule6) triple4) -> rule3))] Fiona is rough.[(((triple6 triple4) -> rule4) OR ((triple5 ((triple5 triple4) -> rule3)) -> rule5) OR ((((triple6) -> rule6) ((triple5 triple4) -> rule3)) -> rule5) OR ((triple5 ((((triple6) -> rule6) triple4) -> rule3)) -> rule5) OR ((((triple6) -> rule6) ((((triple6) -> rule6) triple4) -> rule3)) -> rule5))] Gary is rough.[(((triple11 triple7) -> rule5) OR ((triple11 ((triple11 triple9) -> rule3)) -> rule5) OR ((((triple10) -> rule2) triple9) -> rule4) OR ((((triple7) -> rule7) triple7) -> rule5) OR ((((triple7) -> rule7) ((triple11 triple9) -> rule3)) -> rule5) OR ((((((triple10) -> rule2)) -> rule6) triple7) -> rule5) OR ((((((triple10) -> rule2)) -> rule6) ((triple11 triple9) -> rule3)) -> rule5) OR ((triple11 ((((((triple10) -> rule2)) -> rule6) triple9) -> rule3)) -> rule5) OR ((((triple7) -> rule7) ((((((triple10) -> rule2)) -> rule6) triple9) -> rule3)) -> rule5) OR ((((((triple10) -> rule2)) -> rule6) ((((((triple10) -> rule2)) -> rule6) triple9) -> rule3)) -> rule5))] Gary is young.[(((triple10) -> rule2) OR ((((((triple11 triple7) -> rule5) triple9) -> rule8)) -> rule2) OR ((((((triple11 ((triple11 triple9) -> rule3)) -> rule5) triple9) -> rule8)) -> rule2) OR ((((((((triple7) -> rule7) triple7) -> rule5) triple9) -> rule8)) -> rule2) OR ((((((((triple7) -> rule7) ((triple11 triple9) -> rule3)) -> rule5) triple9) -> rule8)) -> rule2))] Harry is round.[(((triple12) -> rule7) OR ((((triple14) -> rule2)) -> rule6))] Harry is young.[(((triple14) -> rule2))] @2: Charlie is red.[(((((triple3 triple1) -> rule5) triple2) -> rule8) OR ((((triple3 ((triple3 triple2) -> rule3)) -> rule5) triple2) -> rule8) OR ((((((triple1) -> rule7) triple1) -> rule5) triple2) -> rule8) OR ((((((triple1) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) triple2) -> rule8))] Fiona is red.[(((((triple6 triple4) -> rule4) triple4) -> rule8) OR ((((triple5 ((triple5 triple4) -> rule3)) -> rule5) triple4) -> rule8) OR ((((((triple6) -> rule6) ((triple5 triple4) -> rule3)) -> rule5) triple4) -> rule8) OR ((((triple5 ((((triple6) -> rule6) triple4) -> rule3)) -> rule5) triple4) -> rule8) OR ((((((triple6) -> rule6) ((((triple6) -> rule6) triple4) -> rule3)) -> rule5) triple4) -> rule8))] @3: Charlie is blue.[(((((((triple3 triple1) -> rule5) triple2) -> rule8)) -> rule1) OR ((((((triple3 ((triple3 triple2) -> rule3)) -> rule5) triple2) -> rule8)) -> rule1) OR ((((((((triple1) -> rule7) triple1) -> rule5) triple2) -> rule8)) -> rule1) OR ((((((((triple1) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) triple2) -> rule8)) -> rule1))] Charlie is young.[(((((((triple3 triple1) -> rule5) triple2) -> rule8)) -> rule2) OR ((((((triple3 ((triple3 triple2) -> rule3)) -> rule5) triple2) -> rule8)) -> rule2) OR ((((((((triple1) -> rule7) triple1) -> rule5) triple2) -> rule8)) -> rule2) OR ((((((((triple1) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) triple2) -> rule8)) -> rule2))] Fiona is blue.[(((((((triple6 triple4) -> rule4) triple4) -> rule8)) -> rule1) OR ((((((triple5 ((triple5 triple4) -> rule3)) -> rule5) triple4) -> rule8)) -> rule1) OR ((((((((triple6) -> rule6) ((triple5 triple4) -> rule3)) -> rule5) triple4) -> rule8)) -> rule1) OR ((((((triple5 ((((triple6) -> rule6) triple4) -> rule3)) -> rule5) triple4) -> rule8)) -> rule1) OR ((((((((triple6) -> rule6) ((((triple6) -> rule6) triple4) -> rule3)) -> rule5) triple4) -> rule8)) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
((triple3 triple2) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple3
((triple1) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple4
Fiona is round.
("Fiona" "is" "round" "+")
triple5
((triple6) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple6
((((((triple5 ((triple5 triple4) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
triple7
((triple11 triple9) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((((((triple10) -> (rule2 % int3))) -> (rule6 % int2)) triple9) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
triple8
((triple10) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((((triple11 triple7) -> (rule5 % int3)) triple9) -> (rule8 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple11 ((triple11 triple9) -> (rule3 % int4))) -> (rule5 % int3)) triple9) -> (rule8 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((((triple7) -> (rule7 % int4)) triple7) -> (rule5 % int3)) triple9) -> (rule8 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((((triple7) -> (rule7 % int5)) ((triple11 triple9) -> (rule3 % int4))) -> (rule5 % int3)) triple9) -> (rule8 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple10
((((triple11 triple7) -> (rule5 % int2)) triple9) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((triple11 ((triple11 triple9) -> (rule3 % int3))) -> (rule5 % int2)) triple9) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((((triple7) -> (rule7 % int3)) triple7) -> (rule5 % int2)) triple9) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple7) -> (rule7 % int4)) ((triple11 triple9) -> (rule3 % int3))) -> (rule5 % int2)) triple9) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
triple11
((triple7) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((((triple10) -> (rule2 % int2))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple13
((triple14) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
triple14
Harry is rough.
("Harry" "is" "rough" "+")
triple15
((((triple12) -> (rule7 % int2)) triple12) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((((triple14) -> (rule2 % int3))) -> (rule6 % int2)) triple12) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple3 triple1) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((triple3 ((triple3 triple2) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple1) -> (rule7 % int2)) triple1) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple1) -> (rule7 % int3)) ((triple3 triple2) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
((triple5 triple4) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((triple6) -> (rule6 % int2)) triple4) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple6 triple4) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple5 ((triple5 triple4) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple6) -> (rule6 % int3)) ((triple5 triple4) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((triple5 ((((triple6) -> (rule6 % int3)) triple4) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((triple6) -> (rule6 % int3)) ((((triple6) -> (rule6 % int3)) triple4) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
((triple11 triple7) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((triple11 ((triple11 triple9) -> (rule3 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple10) -> (rule2 % int2)) triple9) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((triple7) -> (rule7 % int2)) triple7) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple7) -> (rule7 % int3)) ((triple11 triple9) -> (rule3 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple10) -> (rule2 % int3))) -> (rule6 % int2)) triple7) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((((triple10) -> (rule2 % int4))) -> (rule6 % int3)) ((triple11 triple9) -> (rule3 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((triple11 ((((((triple10) -> (rule2 % int4))) -> (rule6 % int3)) triple9) -> (rule3 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((triple7) -> (rule7 % int4)) ((((((triple10) -> (rule2 % int3))) -> (rule6 % int4)) triple9) -> (rule3 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple10) -> (rule2 % int4))) -> (rule6 % int3)) ((((((triple10) -> (rule2 % int4))) -> (rule6 % int3)) triple9) -> (rule3 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
((triple10) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((((triple11 triple7) -> (rule5 % int3)) triple9) -> (rule8 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple11 ((triple11 triple9) -> (rule3 % int4))) -> (rule5 % int3)) triple9) -> (rule8 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((((triple7) -> (rule7 % int4)) triple7) -> (rule5 % int3)) triple9) -> (rule8 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((((triple7) -> (rule7 % int5)) ((triple11 triple9) -> (rule3 % int4))) -> (rule5 % int3)) triple9) -> (rule8 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Harry is round.
("Harry" "is" "round" "+")
((triple12) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((triple14) -> (rule2 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((triple14) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((((triple3 triple1) -> (rule5 % int2)) triple2) -> (rule8 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple3 ((triple3 triple2) -> (rule3 % int3))) -> (rule5 % int2)) triple2) -> (rule8 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple1) -> (rule7 % int3)) triple1) -> (rule5 % int2)) triple2) -> (rule8 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple1) -> (rule7 % int4)) ((triple3 triple2) -> (rule3 % int3))) -> (rule5 % int2)) triple2) -> (rule8 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
((((triple6 triple4) -> (rule4 % int2)) triple4) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple5 ((triple5 triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple4) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((((triple6) -> (rule6 % int4)) ((triple5 triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple4) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple5 ((((triple6) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple4) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((triple6) -> (rule6 % int4)) ((((triple6) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple4) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
((((((triple3 triple1) -> (rule5 % int3)) triple2) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple3 ((triple3 triple2) -> (rule3 % int4))) -> (rule5 % int3)) triple2) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple1) -> (rule7 % int4)) triple1) -> (rule5 % int3)) triple2) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((((triple1) -> (rule7 % int5)) ((triple3 triple2) -> (rule3 % int4))) -> (rule5 % int3)) triple2) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Charlie is young.
("Charlie" "is" "young" "+")
((((((triple3 triple1) -> (rule5 % int3)) triple2) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple3 ((triple3 triple2) -> (rule3 % int4))) -> (rule5 % int3)) triple2) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple1) -> (rule7 % int4)) triple1) -> (rule5 % int3)) triple2) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((((triple1) -> (rule7 % int5)) ((triple3 triple2) -> (rule3 % int4))) -> (rule5 % int3)) triple2) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Fiona is blue.
("Fiona" "is" "blue" "+")
((((((triple6 triple4) -> (rule4 % int3)) triple4) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple5 ((triple5 triple4) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((((((triple6) -> (rule6 % int5)) ((triple5 triple4) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((triple5 ((((triple6) -> (rule6 % int5)) triple4) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((((triple6) -> (rule6 % int5)) ((((triple6) -> (rule6 % int5)) triple4) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5