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