Anne is cold. Anne is green. Anne is rough. Anne is smart. Charlie is big. Charlie is cold. Charlie is green. Charlie is red. Charlie is rough. Charlie is round. Erin is red. Fiona is big. Fiona is red. Fiona is rough. Fiona is round. Fiona is smart. If someone is red then they are green. Green people are big. All big people are smart. Smart people are round. If someone is big and round then they are cold. If Fiona is green and Fiona is round then Fiona is big. If Fiona is big and Fiona is smart then Fiona is green.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If someone is red then they are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
Green people are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
All big people are smart.
((("someone" "is" "big" "+")) -> ("someone" "is" "smart" "+"))
Smart people are round.
((("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
If someone is big and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If Fiona is green and Fiona is round then Fiona is big.
((("Fiona" "is" "green" "+") ("Fiona" "is" "round" "+")) -> ("Fiona" "is" "big" "+"))
If Fiona is big and Fiona is smart then Fiona is green.
((("Fiona" "is" "big" "+") ("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "green" "+"))
Anne is smart.
True
1
proof
[(triple4 OR ((((triple2) -> rule2)) -> rule3))]
("Anne" "is" "smart" "+")
triple4
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Charlie is not cold.
False
1
inv-proof
[(triple6 OR ((triple5 triple10) -> rule5) OR ((((triple7) -> rule2) triple10) -> rule5) OR ((triple5 ((((triple5) -> rule3)) -> rule4)) -> rule5) OR ((((((triple8) -> rule1)) -> rule2) triple10) -> rule5) OR ((((triple7) -> rule2) ((((triple5) -> rule3)) -> rule4)) -> rule5) OR ((((((triple8) -> rule1)) -> rule2) ((((triple5) -> rule3)) -> rule4)) -> rule5) OR ((triple5 ((((((triple7) -> rule2)) -> rule3)) -> rule4)) -> rule5) OR ((((triple7) -> rule2) ((((((triple7) -> rule2)) -> rule3)) -> rule4)) -> rule5) OR ((((((triple8) -> rule1)) -> rule2) ((((((triple7) -> rule2)) -> rule3)) -> rule4)) -> rule5) OR ((triple5 ((((((((triple8) -> rule1)) -> rule2)) -> rule3)) -> rule4)) -> rule5) OR ((((triple7) -> rule2) ((((((((triple8) -> rule1)) -> rule2)) -> rule3)) -> rule4)) -> rule5) OR ((((((triple8) -> rule1)) -> rule2) ((((((((triple8) -> rule1)) -> rule2)) -> rule3)) -> rule4)) -> rule5))]
("Charlie" "is" "cold" "-")
triple6
((triple5 triple10) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((((triple7) -> (rule2 % int2)) triple10) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((triple5 ((((triple5) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple8) -> (rule1 % int3))) -> (rule2 % int2)) triple10) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple7) -> (rule2 % int4)) ((((triple5) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple8) -> (rule1 % int5))) -> (rule2 % int4)) ((((triple5) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((triple5 ((((((triple7) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple7) -> (rule2 % int4)) ((((((triple7) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple8) -> (rule1 % int5))) -> (rule2 % int4)) ((((((triple7) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((triple5 ((((((((triple8) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((triple7) -> (rule2 % int5)) ((((((((triple8) -> (rule1 % int4))) -> (rule2 % int5))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple8) -> (rule1 % int5))) -> (rule2 % int4)) ((((((((triple8) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
Fiona is cold.
True
3
proof
[(((triple12 triple15) -> rule5) OR ((triple12 ((triple16) -> rule4)) -> rule5) OR ((triple12 ((((triple12) -> rule3)) -> rule4)) -> rule5) OR ((((((triple13) -> rule1)) -> rule2) triple15) -> rule5) OR ((((((triple13) -> rule1) triple15) -> rule6) triple15) -> rule5) OR ((((((triple13) -> rule1)) -> rule2) ((triple16) -> rule4)) -> rule5) OR ((((((triple13) -> rule1) triple15) -> rule6) ((triple16) -> rule4)) -> rule5) OR ((((((triple13) -> rule1) ((triple16) -> rule4)) -> rule6) triple15) -> rule5) OR ((((((triple13) -> rule1)) -> rule2) ((((triple12) -> rule3)) -> rule4)) -> rule5) OR ((((((triple13) -> rule1) triple15) -> rule6) ((((triple12) -> rule3)) -> rule4)) -> rule5) OR ((((((triple13) -> rule1) ((triple16) -> rule4)) -> rule6) ((triple16) -> rule4)) -> rule5) OR ((((((triple13) -> rule1) ((triple16) -> rule4)) -> rule6) ((((triple12) -> rule3)) -> rule4)) -> rule5) OR ((triple12 ((((((((triple13) -> rule1)) -> rule2)) -> rule3)) -> rule4)) -> rule5) OR ((((((triple13) -> rule1)) -> rule2) ((((((((triple13) -> rule1)) -> rule2)) -> rule3)) -> rule4)) -> rule5) OR ((((((triple13) -> rule1) triple15) -> rule6) ((((((((triple13) -> rule1)) -> rule2)) -> rule3)) -> rule4)) -> rule5) OR ((((((triple13) -> rule1) ((triple16) -> rule4)) -> rule6) ((((((((triple13) -> rule1)) -> rule2)) -> rule3)) -> rule4)) -> rule5))]
("Fiona" "is" "cold" "+")
((triple12 triple15) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((triple12 ((triple16) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((triple12 ((((triple12) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple13) -> (rule1 % int3))) -> (rule2 % int2)) triple15) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple13) -> (rule1 % int3)) triple15) -> (rule6 % int2)) triple15) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple13) -> (rule1 % int4))) -> (rule2 % int3)) ((triple16) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((triple13) -> (rule1 % int4)) triple15) -> (rule6 % int3)) ((triple16) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((triple13) -> (rule1 % int4)) ((triple16) -> (rule4 % int3))) -> (rule6 % int2)) triple15) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((triple13) -> (rule1 % int5))) -> (rule2 % int4)) ((((triple12) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((((((triple13) -> (rule1 % int5)) triple15) -> (rule6 % int4)) ((((triple12) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((((((triple13) -> (rule1 % int4)) ((triple16) -> (rule4 % int3))) -> (rule6 % int2)) ((triple16) -> (rule4 % int3))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((triple13) -> (rule1 % int5)) ((triple16) -> (rule4 % int4))) -> (rule6 % int3)) ((((triple12) -> (rule3 % int2))) -> (rule4 % int4))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((triple12 ((((((((triple13) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((((((triple13) -> (rule1 % int5))) -> (rule2 % int4)) ((((((((triple13) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((((((triple13) -> (rule1 % int5)) triple15) -> (rule6 % int4)) ((((((((triple13) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((((((triple13) -> (rule1 % int5)) ((triple16) -> (rule4 % int4))) -> (rule6 % int3)) ((((((((triple13) -> (rule1 % int5))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int4))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
Anne is not big.
False
2
inv-proof
[(((triple2) -> rule2))]
("Anne" "is" "big" "-")
((triple2) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Erin is big.
True
3
proof
[(((((triple11) -> rule1)) -> rule2))]
("Erin" "is" "big" "+")
((((triple11) -> (rule1 % int2))) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is not big.
False
3
inv-proof
[(((((triple11) -> rule1)) -> rule2))]
("Erin" "is" "big" "-")
((((triple11) -> (rule1 % int2))) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
True
4
proof
[(((((((triple11) -> rule1)) -> rule2)) -> rule3))]
("Erin" "is" "smart" "+")
((((((triple11) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is not smart.
False
4
inv-proof
[(((((((triple11) -> rule1)) -> rule2)) -> rule3))]
("Erin" "is" "smart" "-")
((((((triple11) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is round.
True
5
proof
[(((((((((triple11) -> rule1)) -> rule2)) -> rule3)) -> rule4))]
("Erin" "is" "round" "+")
((((((((triple11) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is not round.
False
5
inv-proof
[(((((((((triple11) -> rule1)) -> rule2)) -> rule3)) -> rule4))]
("Erin" "is" "round" "-")
((((((((triple11) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is cold.
True
9
proof
[(((((((triple11) -> rule1)) -> rule2) ((((((((triple11) -> rule1)) -> rule2)) -> rule3)) -> rule4)) -> rule5))]
("Erin" "is" "cold" "+")
((((((triple11) -> (rule1 % int5))) -> (rule2 % int4)) ((((((((triple11) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
Erin is not cold.
False
9
inv-proof
[(((((((triple11) -> rule1)) -> rule2) ((((((((triple11) -> rule1)) -> rule2)) -> rule3)) -> rule4)) -> rule5))]
("Erin" "is" "cold" "-")
((((((triple11) -> (rule1 % int5))) -> (rule2 % int4)) ((((((((triple11) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
Erin is not rough.
Unknown
inv-random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
@0: Anne is cold.[(triple1 OR ((((triple2) -> rule2) ((triple4) -> rule4)) -> rule5) OR ((((triple2) -> rule2) ((((((triple2) -> rule2)) -> rule3)) -> rule4)) -> rule5))] Anne is green.[(triple2)] Anne is rough.[(triple3)] Anne is smart.[(triple4 OR ((((triple2) -> rule2)) -> rule3))] Charlie is big.[(triple5 OR ((triple7) -> rule2) OR ((((triple8) -> rule1)) -> rule2))] Charlie is cold.[(triple6 OR ((triple5 triple10) -> rule5) OR ((((triple7) -> rule2) triple10) -> rule5) OR ((triple5 ((((triple5) -> rule3)) -> rule4)) -> rule5) OR ((((((triple8) -> rule1)) -> rule2) triple10) -> rule5) OR ((((triple7) -> rule2) ((((triple5) -> rule3)) -> rule4)) -> rule5) OR ((((((triple8) -> rule1)) -> rule2) ((((triple5) -> rule3)) -> rule4)) -> rule5) OR ((triple5 ((((((triple7) -> rule2)) -> rule3)) -> rule4)) -> rule5) OR ((((triple7) -> rule2) ((((((triple7) -> rule2)) -> rule3)) -> rule4)) -> rule5) OR ((((((triple8) -> rule1)) -> rule2) ((((((triple7) -> rule2)) -> rule3)) -> rule4)) -> rule5) OR ((triple5 ((((((((triple8) -> rule1)) -> rule2)) -> rule3)) -> rule4)) -> rule5) OR ((((triple7) -> rule2) ((((((((triple8) -> rule1)) -> rule2)) -> rule3)) -> rule4)) -> rule5) OR ((((((triple8) -> rule1)) -> rule2) ((((((((triple8) -> rule1)) -> rule2)) -> rule3)) -> rule4)) -> rule5))] Charlie is green.[(triple7 OR ((triple8) -> rule1))] Charlie is red.[(triple8)] Charlie is rough.[(triple9)] Charlie is round.[(triple10 OR ((((triple5) -> rule3)) -> rule4) OR ((((((triple7) -> rule2)) -> rule3)) -> rule4) OR ((((((((triple8) -> rule1)) -> rule2)) -> rule3)) -> rule4))] Erin is red.[(triple11)] Fiona is big.[(triple12 OR ((((triple13) -> rule1)) -> rule2) OR ((((triple13) -> rule1) triple15) -> rule6) OR ((((triple13) -> rule1) ((triple16) -> rule4)) -> rule6))] Fiona is red.[(triple13)] Fiona is rough.[(triple14)] Fiona is round.[(triple15 OR ((triple16) -> rule4) OR ((((triple12) -> rule3)) -> rule4) OR ((((((((triple13) -> rule1)) -> rule2)) -> rule3)) -> rule4))] Fiona is smart.[(triple16 OR ((triple12) -> rule3) OR ((((((triple13) -> rule1)) -> rule2)) -> rule3) OR ((((((triple13) -> rule1) triple15) -> rule6)) -> rule3))] @1: Anne is big.[(((triple2) -> rule2))] Anne is round.[(((triple4) -> rule4) OR ((((((triple2) -> rule2)) -> rule3)) -> rule4))] Charlie is smart.[(((triple5) -> rule3) OR ((((triple7) -> rule2)) -> rule3) OR ((((((triple8) -> rule1)) -> rule2)) -> rule3))] Erin is green.[(((triple11) -> rule1))] Fiona is cold.[(((triple12 triple15) -> rule5) OR ((triple12 ((triple16) -> rule4)) -> rule5) OR ((triple12 ((((triple12) -> rule3)) -> rule4)) -> rule5) OR ((((((triple13) -> rule1)) -> rule2) triple15) -> rule5) OR ((((((triple13) -> rule1) triple15) -> rule6) triple15) -> rule5) OR ((((((triple13) -> rule1)) -> rule2) ((triple16) -> rule4)) -> rule5) OR ((((((triple13) -> rule1) triple15) -> rule6) ((triple16) -> rule4)) -> rule5) OR ((((((triple13) -> rule1) ((triple16) -> rule4)) -> rule6) triple15) -> rule5) OR ((((((triple13) -> rule1)) -> rule2) ((((triple12) -> rule3)) -> rule4)) -> rule5) OR ((((((triple13) -> rule1) triple15) -> rule6) ((((triple12) -> rule3)) -> rule4)) -> rule5) OR ((((((triple13) -> rule1) ((triple16) -> rule4)) -> rule6) ((triple16) -> rule4)) -> rule5) OR ((((((triple13) -> rule1) ((triple16) -> rule4)) -> rule6) ((((triple12) -> rule3)) -> rule4)) -> rule5) OR ((triple12 ((((((((triple13) -> rule1)) -> rule2)) -> rule3)) -> rule4)) -> rule5) OR ((((((triple13) -> rule1)) -> rule2) ((((((((triple13) -> rule1)) -> rule2)) -> rule3)) -> rule4)) -> rule5) OR ((((((triple13) -> rule1) triple15) -> rule6) ((((((((triple13) -> rule1)) -> rule2)) -> rule3)) -> rule4)) -> rule5) OR ((((((triple13) -> rule1) ((triple16) -> rule4)) -> rule6) ((((((((triple13) -> rule1)) -> rule2)) -> rule3)) -> rule4)) -> rule5))] Fiona is green.[(((triple13) -> rule1) OR ((triple12 triple16) -> rule7) OR ((triple12 ((triple12) -> rule3)) -> rule7))] @2: Erin is big.[(((((triple11) -> rule1)) -> rule2))] @3: Erin is smart.[(((((((triple11) -> rule1)) -> rule2)) -> rule3))] @4: Erin is round.[(((((((((triple11) -> rule1)) -> rule2)) -> rule3)) -> rule4))] @5: Erin is cold.[(((((((triple11) -> rule1)) -> rule2) ((((((((triple11) -> rule1)) -> rule2)) -> rule3)) -> rule4)) -> rule5))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((((triple2) -> (rule2 % int3)) ((triple4) -> (rule4 % int2))) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((triple2) -> (rule2 % int4)) ((((((triple2) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
triple5
((triple7) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((triple8) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
((triple5 triple10) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((((triple7) -> (rule2 % int2)) triple10) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((triple5 ((((triple5) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple8) -> (rule1 % int3))) -> (rule2 % int2)) triple10) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple7) -> (rule2 % int4)) ((((triple5) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple8) -> (rule1 % int5))) -> (rule2 % int4)) ((((triple5) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((triple5 ((((((triple7) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple7) -> (rule2 % int4)) ((((((triple7) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple8) -> (rule1 % int5))) -> (rule2 % int4)) ((((((triple7) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((triple5 ((((((((triple8) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((triple7) -> (rule2 % int5)) ((((((((triple8) -> (rule1 % int4))) -> (rule2 % int5))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple8) -> (rule1 % int5))) -> (rule2 % int4)) ((((((((triple8) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
Charlie is green.
("Charlie" "is" "green" "+")
triple7
((triple8) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
triple8
Charlie is rough.
("Charlie" "is" "rough" "+")
triple9
Charlie is round.
("Charlie" "is" "round" "+")
triple10
((((triple5) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((((triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((((triple8) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
triple11
Fiona is big.
("Fiona" "is" "big" "+")
triple12
((((triple13) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple13) -> (rule1 % int2)) triple15) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple13) -> (rule1 % int3)) ((triple16) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
triple13
Fiona is rough.
("Fiona" "is" "rough" "+")
triple14
Fiona is round.
("Fiona" "is" "round" "+")
triple15
((triple16) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((((triple12) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((((((triple13) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
triple16
((triple12) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((((triple13) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple13) -> (rule1 % int3)) triple15) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
((triple2) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
((triple4) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((((triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple5) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((((triple8) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
((triple11) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple12 triple15) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((triple12 ((triple16) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((triple12 ((((triple12) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple13) -> (rule1 % int3))) -> (rule2 % int2)) triple15) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple13) -> (rule1 % int3)) triple15) -> (rule6 % int2)) triple15) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple13) -> (rule1 % int4))) -> (rule2 % int3)) ((triple16) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((triple13) -> (rule1 % int4)) triple15) -> (rule6 % int3)) ((triple16) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((triple13) -> (rule1 % int4)) ((triple16) -> (rule4 % int3))) -> (rule6 % int2)) triple15) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((triple13) -> (rule1 % int5))) -> (rule2 % int4)) ((((triple12) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((((((triple13) -> (rule1 % int5)) triple15) -> (rule6 % int4)) ((((triple12) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((((((triple13) -> (rule1 % int4)) ((triple16) -> (rule4 % int3))) -> (rule6 % int2)) ((triple16) -> (rule4 % int3))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((triple13) -> (rule1 % int5)) ((triple16) -> (rule4 % int4))) -> (rule6 % int3)) ((((triple12) -> (rule3 % int2))) -> (rule4 % int4))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((triple12 ((((((((triple13) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((((((triple13) -> (rule1 % int5))) -> (rule2 % int4)) ((((((((triple13) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((((((triple13) -> (rule1 % int5)) triple15) -> (rule6 % int4)) ((((((((triple13) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((((((triple13) -> (rule1 % int5)) ((triple16) -> (rule4 % int4))) -> (rule6 % int3)) ((((((((triple13) -> (rule1 % int5))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int4))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
Fiona is green.
("Fiona" "is" "green" "+")
((triple13) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple12 triple16) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple12 ((triple12) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
((((triple11) -> (rule1 % int2))) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
((((((triple11) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
((((((((triple11) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
((((((triple11) -> (rule1 % int5))) -> (rule2 % int4)) ((((((((triple11) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5