The cow chases the mouse. The cow eats the mouse. The cow is blue. The cow is kind. The cow is nice. The cow is red. The cow is round. The cow sees the mouse. The mouse chases the cow. The mouse eats the cow. The mouse is blue. The mouse is kind. The mouse is nice. The mouse is red. The mouse is round. The mouse sees the cow. If someone chases the cow then they see the mouse. If someone is round then they eat the cow. If the cow is blue then the cow eats the mouse. If someone chases the cow and they are kind then they see the cow. If someone sees the cow then the cow sees the mouse. If someone eats the cow then they chase the cow. If someone eats the mouse and they are kind then the mouse eats the cow. If someone sees the mouse then the mouse sees the cow.
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is round.
("cow" "is" "round" "+")
The cow sees the mouse.
("cow" "sees" "mouse" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
If someone chases the cow then they see the mouse.
((("someone" "chases" "cow" "+")) -> ("someone" "sees" "mouse" "+"))
If someone is round then they eat the cow.
((("someone" "is" "round" "+")) -> ("someone" "eats" "cow" "+"))
If the cow is blue then the cow eats the mouse.
((("cow" "is" "blue" "+")) -> ("cow" "eats" "mouse" "+"))
If someone chases the cow and they are kind then they see the cow.
((("someone" "chases" "cow" "+") ("someone" "is" "kind" "+")) -> ("someone" "sees" "cow" "+"))
If someone sees the cow then the cow sees the mouse.
((("someone" "sees" "cow" "+")) -> ("cow" "sees" "mouse" "+"))
If someone eats the cow then they chase the cow.
((("someone" "eats" "cow" "+")) -> ("someone" "chases" "cow" "+"))
If someone eats the mouse and they are kind then the mouse eats the cow.
((("someone" "eats" "mouse" "+") ("someone" "is" "kind" "+")) -> ("mouse" "eats" "cow" "+"))
If someone sees the mouse then the mouse sees the cow.
((("someone" "sees" "mouse" "+")) -> ("mouse" "sees" "cow" "+"))
The mouse eats the cow.
True
1
proof
[(triple10 OR ((triple15) -> rule2) OR ((triple2 triple4) -> rule7) OR ((((triple3) -> rule3) triple4) -> rule7))]
("mouse" "eats" "cow" "+")
triple10
((triple15) -> (rule2 % int1))
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int1
((triple2 triple4) -> (rule7 % int1))
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int1
((((triple3) -> (rule3 % int2)) triple4) -> (rule7 % int1))
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int1
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int2
The mouse is not blue.
False
1
inv-proof
[(triple11)]
("mouse" "is" "blue" "-")
triple11
The cow eats the cow.
True
2
proof
[(((triple7) -> rule2))]
("cow" "eats" "cow" "+")
((triple7) -> (rule2 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow does not eat the cow.
False
2
inv-proof
[(((triple7) -> rule2))]
("cow" "eats" "cow" "-")
((triple7) -> (rule2 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow chases the cow.
True
3
proof
[(((((triple7) -> rule2)) -> rule6))]
("cow" "chases" "cow" "+")
((((triple7) -> (rule2 % int2))) -> (rule6 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The cow does not chase the cow.
False
3
inv-proof
[(((((triple7) -> rule2)) -> rule6))]
("cow" "chases" "cow" "-")
((((triple7) -> (rule2 % int2))) -> (rule6 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The cow sees the cow.
True
5
proof
[(((((((triple7) -> rule2)) -> rule6) triple4) -> rule4))]
("cow" "sees" "cow" "+")
((((((triple7) -> (rule2 % int3))) -> (rule6 % int2)) triple4) -> (rule4 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
The cow eats the cow.
("cow" "eats" "cow" "+")
int3
The cow does not see the cow.
False
5
inv-proof
[(((((((triple7) -> rule2)) -> rule6) triple4) -> rule4))]
("cow" "sees" "cow" "-")
((((((triple7) -> (rule2 % int3))) -> (rule6 % int2)) triple4) -> (rule4 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
The cow eats the cow.
("cow" "eats" "cow" "+")
int3
The mouse does not chase the mouse.
Unknown
inv-random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
@0: The cow chases the mouse.[(triple1)] The cow eats the mouse.[(triple2 OR ((triple3) -> rule3))] The cow is blue.[(triple3)] The cow is kind.[(triple4)] The cow is nice.[(triple5)] The cow is red.[(triple6)] The cow is round.[(triple7)] The cow sees the mouse.[(triple8 OR ((triple16) -> rule5) OR ((((triple9 triple12) -> rule4)) -> rule5) OR ((((((triple7) -> rule2)) -> rule6)) -> rule1) OR ((((((triple9) -> rule1)) -> rule8)) -> rule5) OR ((((((triple10) -> rule6) triple12) -> rule4)) -> rule5) OR ((((((((triple10) -> rule6)) -> rule1)) -> rule8)) -> rule5) OR ((((((((triple15) -> rule2)) -> rule6) triple12) -> rule4)) -> rule5) OR ((((((((triple7) -> rule2)) -> rule6) triple4) -> rule4)) -> rule5) OR ((((((((triple2 triple4) -> rule7)) -> rule6) triple12) -> rule4)) -> rule5) OR ((((((((((triple15) -> rule2)) -> rule6)) -> rule1)) -> rule8)) -> rule5) OR ((((((((((triple2 triple4) -> rule7)) -> rule6)) -> rule1)) -> rule8)) -> rule5) OR ((((((((((triple3) -> rule3) triple4) -> rule7)) -> rule6) triple12) -> rule4)) -> rule5) OR ((((((((((((triple3) -> rule3) triple4) -> rule7)) -> rule6)) -> rule1)) -> rule8)) -> rule5))] The mouse chases the cow.[(triple9 OR ((triple10) -> rule6) OR ((((triple15) -> rule2)) -> rule6) OR ((((triple2 triple4) -> rule7)) -> rule6) OR ((((((triple3) -> rule3) triple4) -> rule7)) -> rule6))] The mouse eats the cow.[(triple10 OR ((triple15) -> rule2) OR ((triple2 triple4) -> rule7) OR ((((triple3) -> rule3) triple4) -> rule7))] The mouse is blue.[(triple11)] The mouse is kind.[(triple12)] The mouse is nice.[(triple13)] The mouse is red.[(triple14)] The mouse is round.[(triple15)] The mouse sees the cow.[(triple16 OR ((triple8) -> rule8) OR ((triple9 triple12) -> rule4) OR ((((triple9) -> rule1)) -> rule8) OR ((((triple10) -> rule6) triple12) -> rule4) OR ((((((triple10) -> rule6)) -> rule1)) -> rule8) OR ((((((triple15) -> rule2)) -> rule6) triple12) -> rule4) OR ((((((triple2 triple4) -> rule7)) -> rule6) triple12) -> rule4) OR ((((((((triple15) -> rule2)) -> rule6)) -> rule1)) -> rule8) OR ((((((((triple7) -> rule2)) -> rule6)) -> rule1)) -> rule8) OR ((((((((triple2 triple4) -> rule7)) -> rule6)) -> rule1)) -> rule8) OR ((((((((triple3) -> rule3) triple4) -> rule7)) -> rule6) triple12) -> rule4) OR ((((((((((triple3) -> rule3) triple4) -> rule7)) -> rule6)) -> rule1)) -> rule8) OR ((((((((((triple7) -> rule2)) -> rule6) triple4) -> rule4)) -> rule5)) -> rule8))] @1: The cow eats the cow.[(((triple7) -> rule2))] The mouse sees the mouse.[(((triple9) -> rule1) OR ((((triple10) -> rule6)) -> rule1) OR ((((((triple15) -> rule2)) -> rule6)) -> rule1) OR ((((((triple2 triple4) -> rule7)) -> rule6)) -> rule1) OR ((((((((triple3) -> rule3) triple4) -> rule7)) -> rule6)) -> rule1))] @2: The cow chases the cow.[(((((triple7) -> rule2)) -> rule6))] @3: The cow sees the cow.[(((((((triple7) -> rule2)) -> rule6) triple4) -> rule4))]
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple1
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple2
((triple3) -> (rule3 % int1))
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
triple3
The cow is kind.
("cow" "is" "kind" "+")
triple4
The cow is nice.
("cow" "is" "nice" "+")
triple5
The cow is red.
("cow" "is" "red" "+")
triple6
The cow is round.
("cow" "is" "round" "+")
triple7
The cow sees the mouse.
("cow" "sees" "mouse" "+")
triple8
((triple16) -> (rule5 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
((((triple9 triple12) -> (rule4 % int2))) -> (rule5 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int2
((((((triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
The cow eats the cow.
("cow" "eats" "cow" "+")
int3
((((((triple9) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int2
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int3
((((((triple10) -> (rule6 % int3)) triple12) -> (rule4 % int2))) -> (rule5 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int2
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int3
((((((((triple10) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int2
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int3
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int4
((((((((triple15) -> (rule2 % int4))) -> (rule6 % int3)) triple12) -> (rule4 % int2))) -> (rule5 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int2
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int3
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int4
((((((((triple7) -> (rule2 % int4))) -> (rule6 % int3)) triple4) -> (rule4 % int2))) -> (rule5 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
int2
The cow chases the cow.
("cow" "chases" "cow" "+")
int3
The cow eats the cow.
("cow" "eats" "cow" "+")
int4
((((((((triple2 triple4) -> (rule7 % int4))) -> (rule6 % int3)) triple12) -> (rule4 % int2))) -> (rule5 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int2
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int3
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int4
((((((((((triple15) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int2
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int3
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int4
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int5
((((((((((triple2 triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int2
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int3
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int4
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int5
((((((((((triple3) -> (rule3 % int5)) triple4) -> (rule7 % int4))) -> (rule6 % int3)) triple12) -> (rule4 % int2))) -> (rule5 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int2
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int3
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int4
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int5
((((((((((((triple3) -> (rule3 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int2
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int3
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int4
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int5
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int6
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple9
((triple10) -> (rule6 % int1))
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int1
((((triple15) -> (rule2 % int2))) -> (rule6 % int1))
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int1
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int2
((((triple2 triple4) -> (rule7 % int2))) -> (rule6 % int1))
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int1
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int2
((((((triple3) -> (rule3 % int3)) triple4) -> (rule7 % int2))) -> (rule6 % int1))
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int1
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int2
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int3
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple10
((triple15) -> (rule2 % int1))
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int1
((triple2 triple4) -> (rule7 % int1))
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int1
((((triple3) -> (rule3 % int2)) triple4) -> (rule7 % int1))
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int1
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
triple11
The mouse is kind.
("mouse" "is" "kind" "+")
triple12
The mouse is nice.
("mouse" "is" "nice" "+")
triple13
The mouse is red.
("mouse" "is" "red" "+")
triple14
The mouse is round.
("mouse" "is" "round" "+")
triple15
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple16
((triple8) -> (rule8 % int1))
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int1
((triple9 triple12) -> (rule4 % int1))
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int1
((((triple9) -> (rule1 % int2))) -> (rule8 % int1))
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int2
((((triple10) -> (rule6 % int2)) triple12) -> (rule4 % int1))
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int1
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int2
((((((triple10) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int2
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int3
((((((triple15) -> (rule2 % int3))) -> (rule6 % int2)) triple12) -> (rule4 % int1))
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int1
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int2
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int3
((((((triple2 triple4) -> (rule7 % int3))) -> (rule6 % int2)) triple12) -> (rule4 % int1))
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int1
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int2
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int3
((((((((triple15) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int2
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int3
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int4
((((((((triple7) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int1
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int2
The cow chases the cow.
("cow" "chases" "cow" "+")
int3
The cow eats the cow.
("cow" "eats" "cow" "+")
int4
((((((((triple2 triple4) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int2
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int3
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int4
((((((((triple3) -> (rule3 % int4)) triple4) -> (rule7 % int3))) -> (rule6 % int2)) triple12) -> (rule4 % int1))
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int1
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int2
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int3
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int4
((((((((((triple3) -> (rule3 % int5)) triple4) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int2
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int3
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int4
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int5
((((((((((triple7) -> (rule2 % int5))) -> (rule6 % int4)) triple4) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int1
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int2
The cow sees the cow.
("cow" "sees" "cow" "+")
int3
The cow chases the cow.
("cow" "chases" "cow" "+")
int4
The cow eats the cow.
("cow" "eats" "cow" "+")
int5
The cow eats the cow.
("cow" "eats" "cow" "+")
((triple7) -> (rule2 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
((triple9) -> (rule1 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
((((triple10) -> (rule6 % int2))) -> (rule1 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int2
((((((triple15) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int2
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int3
((((((triple2 triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int2
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int3
((((((((triple3) -> (rule3 % int4)) triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int2
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int3
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int4
The cow chases the cow.
("cow" "chases" "cow" "+")
((((triple7) -> (rule2 % int2))) -> (rule6 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The cow sees the cow.
("cow" "sees" "cow" "+")
((((((triple7) -> (rule2 % int3))) -> (rule6 % int2)) triple4) -> (rule4 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
The cow eats the cow.
("cow" "eats" "cow" "+")
int3