Erin is blue. Erin is red. Fiona is big. Fiona is red. Gary is blue. Harry is cold. Harry is green. If something is green then it is blue. All cold things are blue. If something is green then it is blue. If something is green and kind then it is not quiet. If something is cold and green then it is kind. If something is red and green then it is cold. All red things are big. All quiet, kind things are not big. Big things are green.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
If something is green then it is blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
All cold things are blue.
((("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
If something is green then it is blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
If something is green and kind then it is not quiet.
((("something" "is" "green" "+") ("something" "is" "kind" "+")) -> ("something" "is" "quiet" "-"))
If something is cold and green then it is kind.
((("something" "is" "cold" "+") ("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
If something is red and green then it is cold.
((("something" "is" "red" "+") ("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
All red things are big.
((("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
All quiet, kind things are not big.
((("something" "is" "quiet" "+") ("something" "is" "kind" "+")) -> ("something" "is" "big" "-"))
Big things are green.
((("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
Fiona is red.
True
1
proof
[(triple4)]
("Fiona" "is" "red" "+")
triple4
Erin is not blue.
False
1
inv-proof
[(triple1 OR ((((((triple2) -> rule7)) -> rule9)) -> rule1) OR ((((((triple2) -> rule7)) -> rule9)) -> rule3) OR ((((triple2 ((((triple2) -> rule7)) -> rule9)) -> rule6)) -> rule2))]
("Erin" "is" "blue" "-")
triple1
((((((triple2) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple2) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple2 ((((triple2) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is big.
True
2
proof
[(((triple2) -> rule7))]
("Erin" "is" "big" "+")
((triple2) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is not big.
False
2
inv-proof
[(((triple2) -> rule7))]
("Erin" "is" "big" "-")
((triple2) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Harry is not quiet.
True
5
proof
[(((triple7 ((triple6 triple7) -> rule5)) -> rule4))]
("Harry" "is" "quiet" "-")
((triple7 ((triple6 triple7) -> (rule5 % int2))) -> (rule4 % int1))
Harry is not quiet.
("Harry" "is" "quiet" "-")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Erin is not green.
False
3
inv-proof
[(((((triple2) -> rule7)) -> rule9))]
("Erin" "is" "green" "-")
((((triple2) -> (rule7 % int2))) -> (rule9 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Fiona is kind.
True
7
proof
[(((((triple4 ((triple3) -> rule9)) -> rule6) ((triple3) -> rule9)) -> rule5) OR ((((triple4 ((triple3) -> rule9)) -> rule6) ((((triple4) -> rule7)) -> rule9)) -> rule5) OR ((((triple4 ((((triple4) -> rule7)) -> rule9)) -> rule6) ((triple3) -> rule9)) -> rule5) OR ((((triple4 ((((triple4) -> rule7)) -> rule9)) -> rule6) ((((triple4) -> rule7)) -> rule9)) -> rule5))]
("Fiona" "is" "kind" "+")
((((triple4 ((triple3) -> (rule9 % int3))) -> (rule6 % int2)) ((triple3) -> (rule9 % int3))) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((triple4 ((triple3) -> (rule9 % int4))) -> (rule6 % int3)) ((((triple4) -> (rule7 % int2))) -> (rule9 % int4))) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((triple4 ((((triple4) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule6 % int2)) ((triple3) -> (rule9 % int3))) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((triple4 ((((triple4) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule6 % int2)) ((((triple4) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is not kind.
False
7
inv-proof
[(((((triple4 ((triple3) -> rule9)) -> rule6) ((triple3) -> rule9)) -> rule5) OR ((((triple4 ((triple3) -> rule9)) -> rule6) ((((triple4) -> rule7)) -> rule9)) -> rule5) OR ((((triple4 ((((triple4) -> rule7)) -> rule9)) -> rule6) ((triple3) -> rule9)) -> rule5) OR ((((triple4 ((((triple4) -> rule7)) -> rule9)) -> rule6) ((((triple4) -> rule7)) -> rule9)) -> rule5))]
("Fiona" "is" "kind" "-")
((((triple4 ((triple3) -> (rule9 % int3))) -> (rule6 % int2)) ((triple3) -> (rule9 % int3))) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((triple4 ((triple3) -> (rule9 % int4))) -> (rule6 % int3)) ((((triple4) -> (rule7 % int2))) -> (rule9 % int4))) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((triple4 ((((triple4) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule6 % int2)) ((triple3) -> (rule9 % int3))) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((triple4 ((((triple4) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule6 % int2)) ((((triple4) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Erin is kind.
True
9
proof
[(((((triple2 ((((triple2) -> rule7)) -> rule9)) -> rule6) ((((triple2) -> rule7)) -> rule9)) -> rule5))]
("Erin" "is" "kind" "+")
((((triple2 ((((triple2) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule6 % int2)) ((((triple2) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Fiona is quiet.
False
10
inv-proof
[(((((triple3) -> rule9) ((((triple4 ((triple3) -> rule9)) -> rule6) ((triple3) -> rule9)) -> rule5)) -> rule4) OR ((((triple3) -> rule9) ((((triple4 ((triple3) -> rule9)) -> rule6) ((((triple4) -> rule7)) -> rule9)) -> rule5)) -> rule4) OR ((((((triple4) -> rule7)) -> rule9) ((((triple4 ((triple3) -> rule9)) -> rule6) ((triple3) -> rule9)) -> rule5)) -> rule4) OR ((((((triple4) -> rule7)) -> rule9) ((((triple4 ((triple3) -> rule9)) -> rule6) ((((triple4) -> rule7)) -> rule9)) -> rule5)) -> rule4) OR ((((triple3) -> rule9) ((((triple4 ((((triple4) -> rule7)) -> rule9)) -> rule6) ((triple3) -> rule9)) -> rule5)) -> rule4) OR ((((triple3) -> rule9) ((((triple4 ((((triple4) -> rule7)) -> rule9)) -> rule6) ((((triple4) -> rule7)) -> rule9)) -> rule5)) -> rule4) OR ((((((triple4) -> rule7)) -> rule9) ((((triple4 ((((triple4) -> rule7)) -> rule9)) -> rule6) ((triple3) -> rule9)) -> rule5)) -> rule4) OR ((((((triple4) -> rule7)) -> rule9) ((((triple4 ((((triple4) -> rule7)) -> rule9)) -> rule6) ((((triple4) -> rule7)) -> rule9)) -> rule5)) -> rule4))]
("Fiona" "is" "quiet" "+")
((((triple3) -> (rule9 % int4)) ((((triple4 ((triple3) -> (rule9 % int4))) -> (rule6 % int3)) ((triple3) -> (rule9 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((triple3) -> (rule9 % int5)) ((((triple4 ((triple3) -> (rule9 % int5))) -> (rule6 % int4)) ((((triple4) -> (rule7 % int3))) -> (rule9 % int5))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((((((triple4) -> (rule7 % int5))) -> (rule9 % int4)) ((((triple4 ((triple3) -> (rule9 % int4))) -> (rule6 % int3)) ((triple3) -> (rule9 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((triple4) -> (rule7 % int5))) -> (rule9 % int4)) ((((triple4 ((triple3) -> (rule9 % int4))) -> (rule6 % int3)) ((((triple4) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple3) -> (rule9 % int5)) ((((triple4 ((((triple4) -> (rule7 % int4))) -> (rule9 % int5))) -> (rule6 % int3)) ((triple3) -> (rule9 % int5))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((((triple3) -> (rule9 % int5)) ((((triple4 ((((triple4) -> (rule7 % int4))) -> (rule9 % int5))) -> (rule6 % int3)) ((((triple4) -> (rule7 % int4))) -> (rule9 % int5))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((((((triple4) -> (rule7 % int5))) -> (rule9 % int4)) ((((triple4 ((((triple4) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule6 % int3)) ((triple3) -> (rule9 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((triple4) -> (rule7 % int5))) -> (rule9 % int4)) ((((triple4 ((((triple4) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule6 % int3)) ((((triple4) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Erin is not quiet.
True
13
proof
[(((((((triple2) -> rule7)) -> rule9) ((((triple2 ((((triple2) -> rule7)) -> rule9)) -> rule6) ((((triple2) -> rule7)) -> rule9)) -> rule5)) -> rule4))]
("Erin" "is" "quiet" "-")
((((((triple2) -> (rule7 % int5))) -> (rule9 % int4)) ((((triple2 ((((triple2) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is not quiet.
("Erin" "is" "quiet" "-")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is quiet.
False
13
inv-proof
[(((((((triple2) -> rule7)) -> rule9) ((((triple2 ((((triple2) -> rule7)) -> rule9)) -> rule6) ((((triple2) -> rule7)) -> rule9)) -> rule5)) -> rule4))]
("Erin" "is" "quiet" "+")
((((((triple2) -> (rule7 % int5))) -> (rule9 % int4)) ((((triple2 ((((triple2) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is not quiet.
("Erin" "is" "quiet" "-")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Gary is not kind.
Unknown
inv-rconc
[@2: Gary is kind.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Gary" "is" "kind" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "cold" "+")
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "big" "-")
Gary is green.
Unknown
rconc
[@2: Gary is green.[CWA. Example of deepest failure = (rule9 <- rule7 <- FAIL)]]
("Gary" "is" "green" "+")
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "big" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
Gary is not quiet.
Unknown
inv-random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Erin is blue.[(triple1 OR ((((((triple2) -> rule7)) -> rule9)) -> rule1) OR ((((((triple2) -> rule7)) -> rule9)) -> rule3) OR ((((triple2 ((((triple2) -> rule7)) -> rule9)) -> rule6)) -> rule2))] Erin is red.[(triple2)] Fiona is big.[(triple3 OR ((triple4) -> rule7))] Fiona is red.[(triple4)] Gary is blue.[(triple5)] Harry is cold.[(triple6)] Harry is green.[(triple7)] @1: Erin is big.[(((triple2) -> rule7))] Fiona is green.[(((triple3) -> rule9) OR ((((triple4) -> rule7)) -> rule9))] Harry is blue.[(((triple6) -> rule2) OR ((triple7) -> rule1) OR ((triple7) -> rule3))] Harry is kind.[(((triple6 triple7) -> rule5))] @2: Erin is green.[(((((triple2) -> rule7)) -> rule9))] Fiona is blue.[(((((triple3) -> rule9)) -> rule1) OR ((((triple3) -> rule9)) -> rule3) OR ((((((triple4) -> rule7)) -> rule9)) -> rule1) OR ((((((triple4) -> rule7)) -> rule9)) -> rule3) OR ((((triple4 ((triple3) -> rule9)) -> rule6)) -> rule2) OR ((((triple4 ((((triple4) -> rule7)) -> rule9)) -> rule6)) -> rule2))] Fiona is cold.[(((triple4 ((triple3) -> rule9)) -> rule6) OR ((triple4 ((((triple4) -> rule7)) -> rule9)) -> rule6))] Harry is not quiet.[(((triple7 ((triple6 triple7) -> rule5)) -> rule4))] @3: Erin is cold.[(((triple2 ((((triple2) -> rule7)) -> rule9)) -> rule6))] Fiona is kind.[(((((triple4 ((triple3) -> rule9)) -> rule6) ((triple3) -> rule9)) -> rule5) OR ((((triple4 ((triple3) -> rule9)) -> rule6) ((((triple4) -> rule7)) -> rule9)) -> rule5) OR ((((triple4 ((((triple4) -> rule7)) -> rule9)) -> rule6) ((triple3) -> rule9)) -> rule5) OR ((((triple4 ((((triple4) -> rule7)) -> rule9)) -> rule6) ((((triple4) -> rule7)) -> rule9)) -> rule5))] @4: Erin is kind.[(((((triple2 ((((triple2) -> rule7)) -> rule9)) -> rule6) ((((triple2) -> rule7)) -> rule9)) -> rule5))] Fiona is not quiet.[(((((triple3) -> rule9) ((((triple4 ((triple3) -> rule9)) -> rule6) ((triple3) -> rule9)) -> rule5)) -> rule4) OR ((((triple3) -> rule9) ((((triple4 ((triple3) -> rule9)) -> rule6) ((((triple4) -> rule7)) -> rule9)) -> rule5)) -> rule4) OR ((((((triple4) -> rule7)) -> rule9) ((((triple4 ((triple3) -> rule9)) -> rule6) ((triple3) -> rule9)) -> rule5)) -> rule4) OR ((((((triple4) -> rule7)) -> rule9) ((((triple4 ((triple3) -> rule9)) -> rule6) ((((triple4) -> rule7)) -> rule9)) -> rule5)) -> rule4) OR ((((triple3) -> rule9) ((((triple4 ((((triple4) -> rule7)) -> rule9)) -> rule6) ((triple3) -> rule9)) -> rule5)) -> rule4) OR ((((triple3) -> rule9) ((((triple4 ((((triple4) -> rule7)) -> rule9)) -> rule6) ((((triple4) -> rule7)) -> rule9)) -> rule5)) -> rule4) OR ((((((triple4) -> rule7)) -> rule9) ((((triple4 ((((triple4) -> rule7)) -> rule9)) -> rule6) ((triple3) -> rule9)) -> rule5)) -> rule4) OR ((((((triple4) -> rule7)) -> rule9) ((((triple4 ((((triple4) -> rule7)) -> rule9)) -> rule6) ((((triple4) -> rule7)) -> rule9)) -> rule5)) -> rule4))] @5: Erin is not quiet.[(((((((triple2) -> rule7)) -> rule9) ((((triple2 ((((triple2) -> rule7)) -> rule9)) -> rule6) ((((triple2) -> rule7)) -> rule9)) -> rule5)) -> rule4))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
((((((triple2) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple2) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple2 ((((triple2) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3
((triple4) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Harry is cold.
("Harry" "is" "cold" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple7
Erin is big.
("Erin" "is" "big" "+")
((triple2) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple3) -> (rule9 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((triple4) -> (rule7 % int2))) -> (rule9 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((triple6) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((triple7) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((triple7) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple6 triple7) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((((triple2) -> (rule7 % int2))) -> (rule9 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
((((triple3) -> (rule9 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple3) -> (rule9 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((((triple4) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((((triple4) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((triple4 ((triple3) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((triple4 ((((triple4) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple4 ((triple3) -> (rule9 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((triple4 ((((triple4) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Harry is not quiet.
("Harry" "is" "quiet" "-")
((triple7 ((triple6 triple7) -> (rule5 % int2))) -> (rule4 % int1))
Harry is not quiet.
("Harry" "is" "quiet" "-")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
((triple2 ((((triple2) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple4 ((triple3) -> (rule9 % int3))) -> (rule6 % int2)) ((triple3) -> (rule9 % int3))) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((triple4 ((triple3) -> (rule9 % int4))) -> (rule6 % int3)) ((((triple4) -> (rule7 % int2))) -> (rule9 % int4))) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((triple4 ((((triple4) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule6 % int2)) ((triple3) -> (rule9 % int3))) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((triple4 ((((triple4) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule6 % int2)) ((((triple4) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
((((triple2 ((((triple2) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule6 % int2)) ((((triple2) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
((((triple3) -> (rule9 % int4)) ((((triple4 ((triple3) -> (rule9 % int4))) -> (rule6 % int3)) ((triple3) -> (rule9 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((triple3) -> (rule9 % int5)) ((((triple4 ((triple3) -> (rule9 % int5))) -> (rule6 % int4)) ((((triple4) -> (rule7 % int3))) -> (rule9 % int5))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((((((triple4) -> (rule7 % int5))) -> (rule9 % int4)) ((((triple4 ((triple3) -> (rule9 % int4))) -> (rule6 % int3)) ((triple3) -> (rule9 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((triple4) -> (rule7 % int5))) -> (rule9 % int4)) ((((triple4 ((triple3) -> (rule9 % int4))) -> (rule6 % int3)) ((((triple4) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple3) -> (rule9 % int5)) ((((triple4 ((((triple4) -> (rule7 % int4))) -> (rule9 % int5))) -> (rule6 % int3)) ((triple3) -> (rule9 % int5))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((((triple3) -> (rule9 % int5)) ((((triple4 ((((triple4) -> (rule7 % int4))) -> (rule9 % int5))) -> (rule6 % int3)) ((((triple4) -> (rule7 % int4))) -> (rule9 % int5))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((((((triple4) -> (rule7 % int5))) -> (rule9 % int4)) ((((triple4 ((((triple4) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule6 % int3)) ((triple3) -> (rule9 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((triple4) -> (rule7 % int5))) -> (rule9 % int4)) ((((triple4 ((((triple4) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule6 % int3)) ((((triple4) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Erin is not quiet.
("Erin" "is" "quiet" "-")
((((((triple2) -> (rule7 % int5))) -> (rule9 % int4)) ((((triple2 ((((triple2) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is not quiet.
("Erin" "is" "quiet" "-")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5