Anne is big. Erin is green. Erin is rough. Erin is young. Fiona is big. Fiona is young. Gary is big. Gary is green. Gary is red. Gary is rough. All red, kind people are rough. If someone is green then they are young. All rough, big people are kind. If someone is kind and young then they are smart. Kind people are red. Big people are kind. If someone is rough and kind then they are big. Red people are green. All green, rough people are big.
Anne is big.
("Anne" "is" "big" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
All red, kind people are rough.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
All rough, big people are kind.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and young then they are smart.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
Kind people are red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
Big people are kind.
((("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and kind then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Red people are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
All green, rough people are big.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Erin is young.
True
1
proof
[(triple4 OR ((triple2) -> rule2))]
("Erin" "is" "young" "+")
triple4
((triple2) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Gary is not big.
False
1
inv-proof
[(triple7 OR ((triple8 triple10) -> rule9) OR ((((triple9) -> rule8) triple10) -> rule9))]
("Gary" "is" "big" "-")
triple7
((triple8 triple10) -> (rule9 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((((triple9) -> (rule8 % int2)) triple10) -> (rule9 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Erin is big.
True
3
proof
[(((triple2 triple3) -> rule9))]
("Erin" "is" "big" "+")
((triple2 triple3) -> (rule9 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Gary is not young.
False
2
inv-proof
[(((triple8) -> rule2) OR ((((triple9) -> rule8)) -> rule2) OR ((((((((triple7) -> rule6)) -> rule5)) -> rule8)) -> rule2) OR ((((((((triple10 triple7) -> rule3)) -> rule5)) -> rule8)) -> rule2))]
("Gary" "is" "young" "-")
((triple8) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((triple9) -> (rule8 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((((((triple7) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((((((triple10 triple7) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Erin is kind.
True
4
proof
[(((((triple2 triple3) -> rule9)) -> rule6) OR ((triple3 ((triple2 triple3) -> rule9)) -> rule3))]
("Erin" "is" "kind" "+")
((((triple2 triple3) -> (rule9 % int2))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((triple3 ((triple2 triple3) -> (rule9 % int2))) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is not kind.
False
4
inv-proof
[(((((triple2 triple3) -> rule9)) -> rule6) OR ((triple3 ((triple2 triple3) -> rule9)) -> rule3))]
("Erin" "is" "kind" "-")
((((triple2 triple3) -> (rule9 % int2))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((triple3 ((triple2 triple3) -> (rule9 % int2))) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is red.
True
5
proof
[(((((((triple2 triple3) -> rule9)) -> rule6)) -> rule5) OR ((((triple3 ((triple2 triple3) -> rule9)) -> rule3)) -> rule5))]
("Erin" "is" "red" "+")
((((((triple2 triple3) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple3 ((triple2 triple3) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Fiona is not rough.
False
6
inv-proof
[(((((((triple5) -> rule6)) -> rule5) ((triple5) -> rule6)) -> rule1))]
("Fiona" "is" "rough" "-")
((((((triple5) -> (rule6 % int3))) -> (rule5 % int2)) ((triple5) -> (rule6 % int3))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Anne is young.
True
5
proof
[(((((((((triple1) -> rule6)) -> rule5)) -> rule8)) -> rule2))]
("Anne" "is" "young" "+")
((((((((triple1) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is not young.
False
5
inv-proof
[(((((((((triple1) -> rule6)) -> rule5)) -> rule8)) -> rule2))]
("Anne" "is" "young" "-")
((((((((triple1) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is smart.
True
8
proof
[(((((triple1) -> rule6) ((((((((triple1) -> rule6)) -> rule5)) -> rule8)) -> rule2)) -> rule4))]
("Anne" "is" "smart" "+")
((((triple1) -> (rule6 % int5)) ((((((((triple1) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is not smart.
False
8
inv-proof
[(((((triple1) -> rule6) ((((((((triple1) -> rule6)) -> rule5)) -> rule8)) -> rule2)) -> rule4))]
("Anne" "is" "smart" "-")
((((triple1) -> (rule6 % int5)) ((((((((triple1) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
@0: Anne is big.[(triple1)] Erin is green.[(triple2)] Erin is rough.[(triple3)] Erin is young.[(triple4 OR ((triple2) -> rule2))] Fiona is big.[(triple5)] Fiona is young.[(triple6 OR ((((((((triple5) -> rule6)) -> rule5)) -> rule8)) -> rule2))] Gary is big.[(triple7 OR ((triple8 triple10) -> rule9) OR ((((triple9) -> rule8) triple10) -> rule9))] Gary is green.[(triple8 OR ((triple9) -> rule8) OR ((((((triple7) -> rule6)) -> rule5)) -> rule8) OR ((((((triple10 triple7) -> rule3)) -> rule5)) -> rule8))] Gary is red.[(triple9 OR ((((triple7) -> rule6)) -> rule5) OR ((((triple10 triple7) -> rule3)) -> rule5) OR ((((((triple8 triple10) -> rule9)) -> rule6)) -> rule5) OR ((((triple10 ((triple8 triple10) -> rule9)) -> rule3)) -> rule5))] Gary is rough.[(triple10 OR ((triple9 ((triple7) -> rule6)) -> rule1) OR ((((((triple7) -> rule6)) -> rule5) ((triple7) -> rule6)) -> rule1))] @1: Anne is kind.[(((triple1) -> rule6))] Erin is big.[(((triple2 triple3) -> rule9))] Fiona is kind.[(((triple5) -> rule6))] Gary is kind.[(((triple7) -> rule6) OR ((triple10 triple7) -> rule3) OR ((((triple8 triple10) -> rule9)) -> rule6) OR ((triple10 ((triple8 triple10) -> rule9)) -> rule3) OR ((((((triple9) -> rule8) triple10) -> rule9)) -> rule6) OR ((triple10 ((((triple9) -> rule8) triple10) -> rule9)) -> rule3))] Gary is young.[(((triple8) -> rule2) OR ((((triple9) -> rule8)) -> rule2) OR ((((((((triple7) -> rule6)) -> rule5)) -> rule8)) -> rule2) OR ((((((((triple10 triple7) -> rule3)) -> rule5)) -> rule8)) -> rule2))] @2: Anne is red.[(((((triple1) -> rule6)) -> rule5))] Erin is kind.[(((((triple2 triple3) -> rule9)) -> rule6) OR ((triple3 ((triple2 triple3) -> rule9)) -> rule3))] Fiona is red.[(((((triple5) -> rule6)) -> rule5))] Fiona is smart.[(((((triple5) -> rule6) triple6) -> rule4) OR ((((triple5) -> rule6) ((((((((triple5) -> rule6)) -> rule5)) -> rule8)) -> rule2)) -> rule4))] Gary is smart.[(((((triple7) -> rule6) ((triple8) -> rule2)) -> rule4) OR ((((triple10 triple7) -> rule3) ((triple8) -> rule2)) -> rule4) OR ((((triple7) -> rule6) ((((triple9) -> rule8)) -> rule2)) -> rule4) OR ((((((triple8 triple10) -> rule9)) -> rule6) ((triple8) -> rule2)) -> rule4) OR ((((triple10 triple7) -> rule3) ((((triple9) -> rule8)) -> rule2)) -> rule4) OR ((((triple10 ((triple8 triple10) -> rule9)) -> rule3) ((triple8) -> rule2)) -> rule4) OR ((((((triple8 triple10) -> rule9)) -> rule6) ((((triple9) -> rule8)) -> rule2)) -> rule4) OR ((((triple10 ((triple8 triple10) -> rule9)) -> rule3) ((((triple9) -> rule8)) -> rule2)) -> rule4) OR ((((((((triple9) -> rule8) triple10) -> rule9)) -> rule6) ((triple8) -> rule2)) -> rule4) OR ((((triple10 ((((triple9) -> rule8) triple10) -> rule9)) -> rule3) ((triple8) -> rule2)) -> rule4) OR ((((((((triple9) -> rule8) triple10) -> rule9)) -> rule6) ((((triple9) -> rule8)) -> rule2)) -> rule4) OR ((((triple10 ((((triple9) -> rule8) triple10) -> rule9)) -> rule3) ((((triple9) -> rule8)) -> rule2)) -> rule4) OR ((((triple7) -> rule6) ((((((((triple7) -> rule6)) -> rule5)) -> rule8)) -> rule2)) -> rule4) OR ((((triple7) -> rule6) ((((((((triple10 triple7) -> rule3)) -> rule5)) -> rule8)) -> rule2)) -> rule4) OR ((((triple10 triple7) -> rule3) ((((((((triple7) -> rule6)) -> rule5)) -> rule8)) -> rule2)) -> rule4) OR ((((triple10 triple7) -> rule3) ((((((((triple10 triple7) -> rule3)) -> rule5)) -> rule8)) -> rule2)) -> rule4) OR ((((((triple8 triple10) -> rule9)) -> rule6) ((((((((triple7) -> rule6)) -> rule5)) -> rule8)) -> rule2)) -> rule4) OR ((((((triple8 triple10) -> rule9)) -> rule6) ((((((((triple10 triple7) -> rule3)) -> rule5)) -> rule8)) -> rule2)) -> rule4) OR ((((triple10 ((triple8 triple10) -> rule9)) -> rule3) ((((((((triple7) -> rule6)) -> rule5)) -> rule8)) -> rule2)) -> rule4) OR ((((triple10 ((triple8 triple10) -> rule9)) -> rule3) ((((((((triple10 triple7) -> rule3)) -> rule5)) -> rule8)) -> rule2)) -> rule4) OR ((((((((triple9) -> rule8) triple10) -> rule9)) -> rule6) ((((((((triple7) -> rule6)) -> rule5)) -> rule8)) -> rule2)) -> rule4) OR ((((((((triple9) -> rule8) triple10) -> rule9)) -> rule6) ((((((((triple10 triple7) -> rule3)) -> rule5)) -> rule8)) -> rule2)) -> rule4) OR ((((triple10 ((((triple9) -> rule8) triple10) -> rule9)) -> rule3) ((((((((triple7) -> rule6)) -> rule5)) -> rule8)) -> rule2)) -> rule4) OR ((((triple10 ((((triple9) -> rule8) triple10) -> rule9)) -> rule3) ((((((((triple10 triple7) -> rule3)) -> rule5)) -> rule8)) -> rule2)) -> rule4))] @3: Anne is green.[(((((((triple1) -> rule6)) -> rule5)) -> rule8))] Anne is rough.[(((((((triple1) -> rule6)) -> rule5) ((triple1) -> rule6)) -> rule1))] Erin is red.[(((((((triple2 triple3) -> rule9)) -> rule6)) -> rule5) OR ((((triple3 ((triple2 triple3) -> rule9)) -> rule3)) -> rule5))] Erin is smart.[(((((((triple2 triple3) -> rule9)) -> rule6) triple4) -> rule4) OR ((((triple3 ((triple2 triple3) -> rule9)) -> rule3) triple4) -> rule4) OR ((((((triple2 triple3) -> rule9)) -> rule6) ((triple2) -> rule2)) -> rule4) OR ((((triple3 ((triple2 triple3) -> rule9)) -> rule3) ((triple2) -> rule2)) -> rule4))] Fiona is green.[(((((((triple5) -> rule6)) -> rule5)) -> rule8))] Fiona is rough.[(((((((triple5) -> rule6)) -> rule5) ((triple5) -> rule6)) -> rule1))] @4: Anne is young.[(((((((((triple1) -> rule6)) -> rule5)) -> rule8)) -> rule2))] @5: Anne is smart.[(((((triple1) -> rule6) ((((((((triple1) -> rule6)) -> rule5)) -> rule8)) -> rule2)) -> rule4))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple2
Erin is rough.
("Erin" "is" "rough" "+")
triple3
Erin is young.
("Erin" "is" "young" "+")
triple4
((triple2) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
triple5
Fiona is young.
("Fiona" "is" "young" "+")
triple6
((((((((triple5) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
triple7
((triple8 triple10) -> (rule9 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((((triple9) -> (rule8 % int2)) triple10) -> (rule9 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
triple8
((triple9) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((((triple7) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((((((triple10 triple7) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
triple9
((((triple7) -> (rule6 % int2))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((triple10 triple7) -> (rule3 % int2))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((((triple8 triple10) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((triple10 ((triple8 triple10) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
triple10
((triple9 ((triple7) -> (rule6 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((((triple7) -> (rule6 % int3))) -> (rule5 % int2)) ((triple7) -> (rule6 % int3))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
((triple1) -> (rule6 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
((triple2 triple3) -> (rule9 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple5) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple7) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((triple10 triple7) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((((triple8 triple10) -> (rule9 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((triple10 ((triple8 triple10) -> (rule9 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((((triple9) -> (rule8 % int3)) triple10) -> (rule9 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((triple10 ((((triple9) -> (rule8 % int3)) triple10) -> (rule9 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
((triple8) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((triple9) -> (rule8 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((((((triple7) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((((((triple10 triple7) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
((((triple2 triple3) -> (rule9 % int2))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((triple3 ((triple2 triple3) -> (rule9 % int2))) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
((((triple5) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple5) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple5) -> (rule6 % int5)) ((((((((triple5) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
Gary is smart.
("Gary" "is" "smart" "+")
((((triple7) -> (rule6 % int3)) ((triple8) -> (rule2 % int2))) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((((triple10 triple7) -> (rule3 % int3)) ((triple8) -> (rule2 % int2))) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((((triple7) -> (rule6 % int4)) ((((triple9) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((((triple8 triple10) -> (rule9 % int4))) -> (rule6 % int3)) ((triple8) -> (rule2 % int2))) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((triple10 triple7) -> (rule3 % int4)) ((((triple9) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((triple10 ((triple8 triple10) -> (rule9 % int4))) -> (rule3 % int3)) ((triple8) -> (rule2 % int2))) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple8 triple10) -> (rule9 % int5))) -> (rule6 % int4)) ((((triple9) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((triple10 ((triple8 triple10) -> (rule9 % int5))) -> (rule3 % int4)) ((((triple9) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((((((triple9) -> (rule8 % int5)) triple10) -> (rule9 % int4))) -> (rule6 % int3)) ((triple8) -> (rule2 % int2))) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((triple10 ((((triple9) -> (rule8 % int5)) triple10) -> (rule9 % int4))) -> (rule3 % int3)) ((triple8) -> (rule2 % int2))) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple9) -> (rule8 % int5)) triple10) -> (rule9 % int4))) -> (rule6 % int3)) ((((triple9) -> (rule8 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((triple10 ((((triple9) -> (rule8 % int5)) triple10) -> (rule9 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule8 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((triple7) -> (rule6 % int5)) ((((((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((triple7) -> (rule6 % int5)) ((((((((triple10 triple7) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((triple10 triple7) -> (rule3 % int5)) ((((((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((triple10 triple7) -> (rule3 % int5)) ((((((((triple10 triple7) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((((triple8 triple10) -> (rule9 % int6))) -> (rule6 % int5)) ((((((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
Gary is big.
("Gary" "is" "big" "+")
int6
((((((triple8 triple10) -> (rule9 % int6))) -> (rule6 % int5)) ((((((((triple10 triple7) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
Gary is big.
("Gary" "is" "big" "+")
int6
((((triple10 ((triple8 triple10) -> (rule9 % int6))) -> (rule3 % int5)) ((((((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
Gary is big.
("Gary" "is" "big" "+")
int6
((((triple10 ((triple8 triple10) -> (rule9 % int6))) -> (rule3 % int5)) ((((((((triple10 triple7) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
Gary is big.
("Gary" "is" "big" "+")
int6
((((((((triple9) -> (rule8 % int6)) triple10) -> (rule9 % int5))) -> (rule6 % int4)) ((((((((triple7) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int6))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6
((((((((triple9) -> (rule8 % int6)) triple10) -> (rule9 % int5))) -> (rule6 % int4)) ((((((((triple10 triple7) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int6))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6
((((triple10 ((((triple9) -> (rule8 % int6)) triple10) -> (rule9 % int5))) -> (rule3 % int4)) ((((((((triple7) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int6))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6
((((triple10 ((((triple9) -> (rule8 % int6)) triple10) -> (rule9 % int5))) -> (rule3 % int4)) ((((((((triple10 triple7) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int6))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6
Anne is green.
("Anne" "is" "green" "+")
((((((triple1) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
((((((triple1) -> (rule6 % int3))) -> (rule5 % int2)) ((triple1) -> (rule6 % int3))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
((((((triple2 triple3) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple3 ((triple2 triple3) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
((((((triple2 triple3) -> (rule9 % int3))) -> (rule6 % int2)) triple4) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple3 ((triple2 triple3) -> (rule9 % int3))) -> (rule3 % int2)) triple4) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple2 triple3) -> (rule9 % int4))) -> (rule6 % int3)) ((triple2) -> (rule2 % int2))) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple3 ((triple2 triple3) -> (rule9 % int4))) -> (rule3 % int3)) ((triple2) -> (rule2 % int2))) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
((((((triple5) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
((((((triple5) -> (rule6 % int3))) -> (rule5 % int2)) ((triple5) -> (rule6 % int3))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
((((((((triple1) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
((((triple1) -> (rule6 % int5)) ((((((((triple1) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5