Erin is cold. Erin is kind. Erin is red. Erin is not young. Fiona is nice. Fiona is red. Gary is cold. Gary is kind. Gary is nice. Gary is not quiet. Gary is not red. Gary is young. Nice, red things are not young. If Fiona is quiet and Fiona is red then Fiona is kind. If something is young and not red then it is nice. All cold things are nice. If something is kind then it is nice. All nice, young things are cold. All cold, nice things are big. All quiet things are kind.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is not young.
("Erin" "is" "young" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is not quiet.
("Gary" "is" "quiet" "-")
Gary is not red.
("Gary" "is" "red" "-")
Gary is young.
("Gary" "is" "young" "+")
Nice, red things are not young.
((("something" "is" "nice" "+") ("something" "is" "red" "+")) -> ("something" "is" "young" "-"))
If Fiona is quiet and Fiona is red then Fiona is kind.
((("Fiona" "is" "quiet" "+") ("Fiona" "is" "red" "+")) -> ("Fiona" "is" "kind" "+"))
If something is young and not red then it is nice.
((("something" "is" "young" "+") ("something" "is" "red" "~")) -> ("something" "is" "nice" "+"))
All cold things are nice.
((("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
If something is kind then it is nice.
((("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
All nice, young things are cold.
((("something" "is" "nice" "+") ("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
All cold, nice things are big.
((("something" "is" "cold" "+") ("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
All quiet things are kind.
((("something" "is" "quiet" "+")) -> ("something" "is" "kind" "+"))
Gary is nice.
True
1
proof
[(triple9 OR ((triple7) -> rule4) OR ((triple8) -> rule5) OR ((triple12 triple11) -> rule3))]
("Gary" "is" "nice" "+")
triple9
((triple7) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((triple8) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((triple12 triple11) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not nice.
False
1
inv-proof
[(triple9 OR ((triple7) -> rule4) OR ((triple8) -> rule5) OR ((triple12 triple11) -> rule3))]
("Gary" "is" "nice" "-")
triple9
((triple7) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((triple8) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((triple12 triple11) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
True
3
proof
[(((triple7 triple9) -> rule7) OR ((triple7 ((triple7) -> rule4)) -> rule7) OR ((triple7 ((triple8) -> rule5)) -> rule7) OR ((triple7 ((triple12 triple11) -> rule3)) -> rule7) OR ((((triple9 triple12) -> rule6) triple9) -> rule7) OR ((((triple9 triple12) -> rule6) ((triple7) -> rule4)) -> rule7) OR ((((triple9 triple12) -> rule6) ((triple8) -> rule5)) -> rule7) OR ((((triple9 triple12) -> rule6) ((triple12 triple11) -> rule3)) -> rule7) OR ((((((triple8) -> rule5) triple12) -> rule6) triple9) -> rule7) OR ((((((triple12 triple11) -> rule3) triple12) -> rule6) triple9) -> rule7) OR ((((((triple8) -> rule5) triple12) -> rule6) ((triple7) -> rule4)) -> rule7) OR ((((((triple8) -> rule5) triple12) -> rule6) ((triple8) -> rule5)) -> rule7) OR ((((((triple8) -> rule5) triple12) -> rule6) ((triple12 triple11) -> rule3)) -> rule7) OR ((((((triple12 triple11) -> rule3) triple12) -> rule6) ((triple7) -> rule4)) -> rule7) OR ((((((triple12 triple11) -> rule3) triple12) -> rule6) ((triple8) -> rule5)) -> rule7) OR ((((((triple12 triple11) -> rule3) triple12) -> rule6) ((triple12 triple11) -> rule3)) -> rule7))]
("Gary" "is" "big" "+")
((triple7 triple9) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple7 ((triple7) -> (rule4 % int2))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((triple7 ((triple8) -> (rule5 % int2))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((triple7 ((triple12 triple11) -> (rule3 % int2))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple9 triple12) -> (rule6 % int2)) triple9) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((triple9 triple12) -> (rule6 % int3)) ((triple7) -> (rule4 % int2))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple9 triple12) -> (rule6 % int3)) ((triple8) -> (rule5 % int2))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple9 triple12) -> (rule6 % int3)) ((triple12 triple11) -> (rule3 % int2))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((((triple8) -> (rule5 % int3)) triple12) -> (rule6 % int2)) triple9) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple12 triple11) -> (rule3 % int3)) triple12) -> (rule6 % int2)) triple9) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple8) -> (rule5 % int3)) triple12) -> (rule6 % int2)) ((triple7) -> (rule4 % int3))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple8) -> (rule5 % int3)) triple12) -> (rule6 % int2)) ((triple8) -> (rule5 % int3))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple8) -> (rule5 % int3)) triple12) -> (rule6 % int2)) ((triple12 triple11) -> (rule3 % int3))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple12 triple11) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((triple7) -> (rule4 % int3))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple12 triple11) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((triple8) -> (rule5 % int3))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple12 triple11) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((triple12 triple11) -> (rule3 % int3))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is not big.
False
3
inv-proof
[(((triple7 triple9) -> rule7) OR ((triple7 ((triple7) -> rule4)) -> rule7) OR ((triple7 ((triple8) -> rule5)) -> rule7) OR ((triple7 ((triple12 triple11) -> rule3)) -> rule7) OR ((((triple9 triple12) -> rule6) triple9) -> rule7) OR ((((triple9 triple12) -> rule6) ((triple7) -> rule4)) -> rule7) OR ((((triple9 triple12) -> rule6) ((triple8) -> rule5)) -> rule7) OR ((((triple9 triple12) -> rule6) ((triple12 triple11) -> rule3)) -> rule7) OR ((((((triple8) -> rule5) triple12) -> rule6) triple9) -> rule7) OR ((((((triple12 triple11) -> rule3) triple12) -> rule6) triple9) -> rule7) OR ((((((triple8) -> rule5) triple12) -> rule6) ((triple7) -> rule4)) -> rule7) OR ((((((triple8) -> rule5) triple12) -> rule6) ((triple8) -> rule5)) -> rule7) OR ((((((triple8) -> rule5) triple12) -> rule6) ((triple12 triple11) -> rule3)) -> rule7) OR ((((((triple12 triple11) -> rule3) triple12) -> rule6) ((triple7) -> rule4)) -> rule7) OR ((((((triple12 triple11) -> rule3) triple12) -> rule6) ((triple8) -> rule5)) -> rule7) OR ((((((triple12 triple11) -> rule3) triple12) -> rule6) ((triple12 triple11) -> rule3)) -> rule7))]
("Gary" "is" "big" "-")
((triple7 triple9) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple7 ((triple7) -> (rule4 % int2))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((triple7 ((triple8) -> (rule5 % int2))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((triple7 ((triple12 triple11) -> (rule3 % int2))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple9 triple12) -> (rule6 % int2)) triple9) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((triple9 triple12) -> (rule6 % int3)) ((triple7) -> (rule4 % int2))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple9 triple12) -> (rule6 % int3)) ((triple8) -> (rule5 % int2))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple9 triple12) -> (rule6 % int3)) ((triple12 triple11) -> (rule3 % int2))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((((triple8) -> (rule5 % int3)) triple12) -> (rule6 % int2)) triple9) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple12 triple11) -> (rule3 % int3)) triple12) -> (rule6 % int2)) triple9) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple8) -> (rule5 % int3)) triple12) -> (rule6 % int2)) ((triple7) -> (rule4 % int3))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple8) -> (rule5 % int3)) triple12) -> (rule6 % int2)) ((triple8) -> (rule5 % int3))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple8) -> (rule5 % int3)) triple12) -> (rule6 % int2)) ((triple12 triple11) -> (rule3 % int3))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple12 triple11) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((triple7) -> (rule4 % int3))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple12 triple11) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((triple8) -> (rule5 % int3))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple12 triple11) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((triple12 triple11) -> (rule3 % int3))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Erin is big.
True
4
proof
[(((triple1 ((triple1) -> rule4)) -> rule7) OR ((triple1 ((triple2) -> rule5)) -> rule7))]
("Erin" "is" "big" "+")
((triple1 ((triple1) -> (rule4 % int2))) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((triple1 ((triple2) -> (rule5 % int2))) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is not big.
False
4
inv-proof
[(((triple1 ((triple1) -> rule4)) -> rule7) OR ((triple1 ((triple2) -> rule5)) -> rule7))]
("Erin" "is" "big" "-")
((triple1 ((triple1) -> (rule4 % int2))) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((triple1 ((triple2) -> (rule5 % int2))) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is big.
Unknown
rconc
[@2: Fiona is big.[CWA. Example of deepest failure = (rule7 <- rule6 <- FAIL)]]
("Fiona" "is" "big" "+")
Fiona is not cold.
Unknown
inv-rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Erin is cold.[(triple1)] Erin is kind.[(triple2)] Erin is not young.[(triple4 OR ((((triple1) -> rule4) triple3) -> rule1) OR ((((triple2) -> rule5) triple3) -> rule1))] Erin is red.[(triple3)] Fiona is nice.[(triple5)] Fiona is red.[(triple6)] Gary is cold.[(triple7 OR ((triple9 triple12) -> rule6) OR ((((triple8) -> rule5) triple12) -> rule6) OR ((((triple12 triple11) -> rule3) triple12) -> rule6))] Gary is kind.[(triple8)] Gary is nice.[(triple9 OR ((triple7) -> rule4) OR ((triple8) -> rule5) OR ((triple12 triple11) -> rule3))] Gary is not quiet.[(triple10)] Gary is not red.[(triple11)] Gary is young.[(triple12)] @1: Erin is nice.[(((triple1) -> rule4) OR ((triple2) -> rule5))] Fiona is not young.[(((triple5 triple6) -> rule1))] Gary is big.[(((triple7 triple9) -> rule7) OR ((triple7 ((triple7) -> rule4)) -> rule7) OR ((triple7 ((triple8) -> rule5)) -> rule7) OR ((triple7 ((triple12 triple11) -> rule3)) -> rule7) OR ((((triple9 triple12) -> rule6) triple9) -> rule7) OR ((((triple9 triple12) -> rule6) ((triple7) -> rule4)) -> rule7) OR ((((triple9 triple12) -> rule6) ((triple8) -> rule5)) -> rule7) OR ((((triple9 triple12) -> rule6) ((triple12 triple11) -> rule3)) -> rule7) OR ((((((triple8) -> rule5) triple12) -> rule6) triple9) -> rule7) OR ((((((triple12 triple11) -> rule3) triple12) -> rule6) triple9) -> rule7) OR ((((((triple8) -> rule5) triple12) -> rule6) ((triple7) -> rule4)) -> rule7) OR ((((((triple8) -> rule5) triple12) -> rule6) ((triple8) -> rule5)) -> rule7) OR ((((((triple8) -> rule5) triple12) -> rule6) ((triple12 triple11) -> rule3)) -> rule7) OR ((((((triple12 triple11) -> rule3) triple12) -> rule6) ((triple7) -> rule4)) -> rule7) OR ((((((triple12 triple11) -> rule3) triple12) -> rule6) ((triple8) -> rule5)) -> rule7) OR ((((((triple12 triple11) -> rule3) triple12) -> rule6) ((triple12 triple11) -> rule3)) -> rule7))] @2: Erin is big.[(((triple1 ((triple1) -> rule4)) -> rule7) OR ((triple1 ((triple2) -> rule5)) -> rule7))]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Erin is not young.
("Erin" "is" "young" "-")
triple4
((((triple1) -> (rule4 % int2)) triple3) -> (rule1 % int1))
Erin is not young.
("Erin" "is" "young" "-")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((triple2) -> (rule5 % int2)) triple3) -> (rule1 % int1))
Erin is not young.
("Erin" "is" "young" "-")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
triple3
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
((triple9 triple12) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((((triple8) -> (rule5 % int2)) triple12) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple12 triple11) -> (rule3 % int2)) triple12) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple9
((triple7) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((triple8) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((triple12 triple11) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not quiet.
("Gary" "is" "quiet" "-")
triple10
Gary is not red.
("Gary" "is" "red" "-")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
Erin is nice.
("Erin" "is" "nice" "+")
((triple1) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((triple2) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Fiona is not young.
("Fiona" "is" "young" "-")
((triple5 triple6) -> (rule1 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple7 triple9) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple7 ((triple7) -> (rule4 % int2))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((triple7 ((triple8) -> (rule5 % int2))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((triple7 ((triple12 triple11) -> (rule3 % int2))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple9 triple12) -> (rule6 % int2)) triple9) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((triple9 triple12) -> (rule6 % int3)) ((triple7) -> (rule4 % int2))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple9 triple12) -> (rule6 % int3)) ((triple8) -> (rule5 % int2))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple9 triple12) -> (rule6 % int3)) ((triple12 triple11) -> (rule3 % int2))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((((triple8) -> (rule5 % int3)) triple12) -> (rule6 % int2)) triple9) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple12 triple11) -> (rule3 % int3)) triple12) -> (rule6 % int2)) triple9) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple8) -> (rule5 % int3)) triple12) -> (rule6 % int2)) ((triple7) -> (rule4 % int3))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple8) -> (rule5 % int3)) triple12) -> (rule6 % int2)) ((triple8) -> (rule5 % int3))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple8) -> (rule5 % int3)) triple12) -> (rule6 % int2)) ((triple12 triple11) -> (rule3 % int3))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple12 triple11) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((triple7) -> (rule4 % int3))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple12 triple11) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((triple8) -> (rule5 % int3))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple12 triple11) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((triple12 triple11) -> (rule3 % int3))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
((triple1 ((triple1) -> (rule4 % int2))) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((triple1 ((triple2) -> (rule5 % int2))) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2