Anne is furry. Anne is nice. Charlie is blue. Fiona is kind. Gary is blue. Gary is kind. Gary is red. All nice things are furry. If something is furry and blue then it is green. If Anne is kind then Anne is green. All furry, red things are blue. All smart, blue things are red. All kind things are red. All kind, red things are nice. If Fiona is red and Fiona is not blue then Fiona is green.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
All nice things are furry.
((("something" "is" "nice" "+")) -> ("something" "is" "furry" "+"))
If something is furry and blue then it is green.
((("something" "is" "furry" "+") ("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
If Anne is kind then Anne is green.
((("Anne" "is" "kind" "+")) -> ("Anne" "is" "green" "+"))
All furry, red things are blue.
((("something" "is" "furry" "+") ("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
All smart, blue things are red.
((("something" "is" "smart" "+") ("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
All kind things are red.
((("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
All kind, red things are nice.
((("something" "is" "kind" "+") ("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
If Fiona is red and Fiona is not blue then Fiona is green.
((("Fiona" "is" "red" "+") ("Fiona" "is" "blue" "~")) -> ("Fiona" "is" "green" "+"))
Gary is kind.
True
1
proof
[(triple6)]
("Gary" "is" "kind" "+")
triple6
Anne is not nice.
False
1
inv-proof
[(triple2)]
("Anne" "is" "nice" "-")
triple2
Fiona is red.
True
2
proof
[(((triple4) -> rule6))]
("Fiona" "is" "red" "+")
((triple4) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is not red.
False
2
inv-proof
[(((triple4) -> rule6))]
("Fiona" "is" "red" "-")
((triple4) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is nice.
True
4
proof
[(((triple4 ((triple4) -> rule6)) -> rule7))]
("Fiona" "is" "nice" "+")
((triple4 ((triple4) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is not nice.
False
4
inv-proof
[(((triple4 ((triple4) -> rule6)) -> rule7))]
("Fiona" "is" "nice" "-")
((triple4 ((triple4) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is furry.
True
5
proof
[(((((triple4 ((triple4) -> rule6)) -> rule7)) -> rule1))]
("Fiona" "is" "furry" "+")
((((triple4 ((triple4) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Gary is not green.
False
6
inv-proof
[(((((((triple6 triple7) -> rule7)) -> rule1) triple5) -> rule2) OR ((((((triple6 ((triple6) -> rule6)) -> rule7)) -> rule1) triple5) -> rule2) OR ((((((triple6 triple7) -> rule7)) -> rule1) ((((((triple6 triple7) -> rule7)) -> rule1) triple7) -> rule4)) -> rule2) OR ((((((triple6 triple7) -> rule7)) -> rule1) ((((((triple6 triple7) -> rule7)) -> rule1) ((triple6) -> rule6)) -> rule4)) -> rule2) OR ((((((triple6 ((triple6) -> rule6)) -> rule7)) -> rule1) ((((((triple6 triple7) -> rule7)) -> rule1) triple7) -> rule4)) -> rule2) OR ((((((triple6 ((triple6) -> rule6)) -> rule7)) -> rule1) ((((((triple6 triple7) -> rule7)) -> rule1) ((triple6) -> rule6)) -> rule4)) -> rule2) OR ((((((triple6 triple7) -> rule7)) -> rule1) ((((((triple6 ((triple6) -> rule6)) -> rule7)) -> rule1) triple7) -> rule4)) -> rule2) OR ((((((triple6 triple7) -> rule7)) -> rule1) ((((((triple6 ((triple6) -> rule6)) -> rule7)) -> rule1) ((triple6) -> rule6)) -> rule4)) -> rule2) OR ((((((triple6 ((triple6) -> rule6)) -> rule7)) -> rule1) ((((((triple6 ((triple6) -> rule6)) -> rule7)) -> rule1) triple7) -> rule4)) -> rule2) OR ((((((triple6 ((triple6) -> rule6)) -> rule7)) -> rule1) ((((((triple6 ((triple6) -> rule6)) -> rule7)) -> rule1) ((triple6) -> rule6)) -> rule4)) -> rule2))]
("Gary" "is" "green" "-")
((((((triple6 triple7) -> (rule7 % int3))) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple6 ((triple6) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple6 triple7) -> (rule7 % int4))) -> (rule1 % int3)) ((((((triple6 triple7) -> (rule7 % int4))) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple6 triple7) -> (rule7 % int5))) -> (rule1 % int4)) ((((((triple6 triple7) -> (rule7 % int5))) -> (rule1 % int4)) ((triple6) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple6 ((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((((((triple6 triple7) -> (rule7 % int4))) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple6 ((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((((((triple6 triple7) -> (rule7 % int4))) -> (rule1 % int3)) ((triple6) -> (rule6 % int5))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple6 triple7) -> (rule7 % int5))) -> (rule1 % int4)) ((((((triple6 ((triple6) -> (rule6 % int3))) -> (rule7 % int5))) -> (rule1 % int4)) triple7) -> (rule4 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple6 triple7) -> (rule7 % int5))) -> (rule1 % int4)) ((((((triple6 ((triple6) -> (rule6 % int3))) -> (rule7 % int5))) -> (rule1 % int4)) ((triple6) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple6 ((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((((((triple6 ((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple6 ((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((((((triple6 ((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((triple6) -> (rule6 % int5))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Fiona is blue.
True
8
proof
[(((((((triple4 ((triple4) -> rule6)) -> rule7)) -> rule1) ((triple4) -> rule6)) -> rule4))]
("Fiona" "is" "blue" "+")
((((((triple4 ((triple4) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple4) -> (rule6 % int4))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is not blue.
False
8
inv-proof
[(((((((triple4 ((triple4) -> rule6)) -> rule7)) -> rule1) ((triple4) -> rule6)) -> rule4))]
("Fiona" "is" "blue" "-")
((((((triple4 ((triple4) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple4) -> (rule6 % int4))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is green.
True
14
proof
[(((((((triple4 ((triple4) -> rule6)) -> rule7)) -> rule1) ((((((triple4 ((triple4) -> rule6)) -> rule7)) -> rule1) ((triple4) -> rule6)) -> rule4)) -> rule2))]
("Fiona" "is" "green" "+")
((((((triple4 ((triple4) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((((((triple4 ((triple4) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((triple4) -> (rule6 % int5))) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
Fiona is not green.
False
14
inv-proof
[(((((((triple4 ((triple4) -> rule6)) -> rule7)) -> rule1) ((((((triple4 ((triple4) -> rule6)) -> rule7)) -> rule1) ((triple4) -> rule6)) -> rule4)) -> rule2))]
("Fiona" "is" "green" "-")
((((((triple4 ((triple4) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((((((triple4 ((triple4) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((triple4) -> (rule6 % int5))) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
Charlie is not green.
Unknown
inv-rconc
[@3: Charlie is green.[CWA. Example of deepest failure = (rule2 <- rule1 <- rule7 <- FAIL)]]
("Charlie" "is" "green" "-")
Anne is green.
Unknown
rconc
[@3: Anne is green.[CWA. Example of deepest failure = (rule2 <- rule4 <- rule5 <- FAIL)]]
("Anne" "is" "green" "+")
Charlie is not furry.
Unknown
inv-rconc
[@2: Charlie is furry.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("Charlie" "is" "furry" "-")
Anne is red.
Unknown
rconc
[@1: Anne is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Anne" "is" "red" "+")
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "nice" "-")
Anne is blue.
Unknown
rconc
[@2: Anne is blue.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Anne" "is" "blue" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
Anne is not kind.
Unknown
inv-random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Charlie is smart.
Unknown
random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "+")
@0: Anne is furry.[(triple1 OR ((triple2) -> rule1))] Anne is nice.[(triple2)] Charlie is blue.[(triple3)] Fiona is kind.[(triple4)] Gary is blue.[(triple5 OR ((((((triple6 triple7) -> rule7)) -> rule1) triple7) -> rule4) OR ((((((triple6 triple7) -> rule7)) -> rule1) ((triple6) -> rule6)) -> rule4) OR ((((((triple6 ((triple6) -> rule6)) -> rule7)) -> rule1) triple7) -> rule4) OR ((((((triple6 ((triple6) -> rule6)) -> rule7)) -> rule1) ((triple6) -> rule6)) -> rule4))] Gary is kind.[(triple6)] Gary is red.[(triple7 OR ((triple6) -> rule6))] @1: Fiona is red.[(((triple4) -> rule6))] Gary is nice.[(((triple6 triple7) -> rule7) OR ((triple6 ((triple6) -> rule6)) -> rule7))] @2: Fiona is nice.[(((triple4 ((triple4) -> rule6)) -> rule7))] Gary is furry.[(((((triple6 triple7) -> rule7)) -> rule1) OR ((((triple6 ((triple6) -> rule6)) -> rule7)) -> rule1))] @3: Fiona is furry.[(((((triple4 ((triple4) -> rule6)) -> rule7)) -> rule1))] Gary is green.[(((((((triple6 triple7) -> rule7)) -> rule1) triple5) -> rule2) OR ((((((triple6 ((triple6) -> rule6)) -> rule7)) -> rule1) triple5) -> rule2) OR ((((((triple6 triple7) -> rule7)) -> rule1) ((((((triple6 triple7) -> rule7)) -> rule1) triple7) -> rule4)) -> rule2) OR ((((((triple6 triple7) -> rule7)) -> rule1) ((((((triple6 triple7) -> rule7)) -> rule1) ((triple6) -> rule6)) -> rule4)) -> rule2) OR ((((((triple6 ((triple6) -> rule6)) -> rule7)) -> rule1) ((((((triple6 triple7) -> rule7)) -> rule1) triple7) -> rule4)) -> rule2) OR ((((((triple6 ((triple6) -> rule6)) -> rule7)) -> rule1) ((((((triple6 triple7) -> rule7)) -> rule1) ((triple6) -> rule6)) -> rule4)) -> rule2) OR ((((((triple6 triple7) -> rule7)) -> rule1) ((((((triple6 ((triple6) -> rule6)) -> rule7)) -> rule1) triple7) -> rule4)) -> rule2) OR ((((((triple6 triple7) -> rule7)) -> rule1) ((((((triple6 ((triple6) -> rule6)) -> rule7)) -> rule1) ((triple6) -> rule6)) -> rule4)) -> rule2) OR ((((((triple6 ((triple6) -> rule6)) -> rule7)) -> rule1) ((((((triple6 ((triple6) -> rule6)) -> rule7)) -> rule1) triple7) -> rule4)) -> rule2) OR ((((((triple6 ((triple6) -> rule6)) -> rule7)) -> rule1) ((((((triple6 ((triple6) -> rule6)) -> rule7)) -> rule1) ((triple6) -> rule6)) -> rule4)) -> rule2))] @4: Fiona is blue.[(((((((triple4 ((triple4) -> rule6)) -> rule7)) -> rule1) ((triple4) -> rule6)) -> rule4))] @5: Fiona is green.[(((((((triple4 ((triple4) -> rule6)) -> rule7)) -> rule1) ((((((triple4 ((triple4) -> rule6)) -> rule7)) -> rule1) ((triple4) -> rule6)) -> rule4)) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
((triple2) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Fiona is kind.
("Fiona" "is" "kind" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
((((((triple6 triple7) -> (rule7 % int3))) -> (rule1 % int2)) triple7) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple6 triple7) -> (rule7 % int4))) -> (rule1 % int3)) ((triple6) -> (rule6 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple6 ((triple6) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple7) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple6 ((triple6) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple6) -> (rule6 % int4))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple7
((triple6) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple4) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple6 triple7) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((triple6 ((triple6) -> (rule6 % int2))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple4 ((triple4) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
((((triple6 triple7) -> (rule7 % int2))) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple6 ((triple6) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple4 ((triple4) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
((((((triple6 triple7) -> (rule7 % int3))) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple6 ((triple6) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple6 triple7) -> (rule7 % int4))) -> (rule1 % int3)) ((((((triple6 triple7) -> (rule7 % int4))) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple6 triple7) -> (rule7 % int5))) -> (rule1 % int4)) ((((((triple6 triple7) -> (rule7 % int5))) -> (rule1 % int4)) ((triple6) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple6 ((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((((((triple6 triple7) -> (rule7 % int4))) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple6 ((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((((((triple6 triple7) -> (rule7 % int4))) -> (rule1 % int3)) ((triple6) -> (rule6 % int5))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple6 triple7) -> (rule7 % int5))) -> (rule1 % int4)) ((((((triple6 ((triple6) -> (rule6 % int3))) -> (rule7 % int5))) -> (rule1 % int4)) triple7) -> (rule4 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple6 triple7) -> (rule7 % int5))) -> (rule1 % int4)) ((((((triple6 ((triple6) -> (rule6 % int3))) -> (rule7 % int5))) -> (rule1 % int4)) ((triple6) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple6 ((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((((((triple6 ((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple6 ((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((((((triple6 ((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((triple6) -> (rule6 % int5))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Fiona is blue.
("Fiona" "is" "blue" "+")
((((((triple4 ((triple4) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple4) -> (rule6 % int4))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
((((((triple4 ((triple4) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((((((triple4 ((triple4) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((triple4) -> (rule6 % int5))) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5