Anne is smart. Bob is blue. Bob is furry. Bob is kind. Bob is round. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is round. Fiona is smart. Gary is blue. Gary is furry. Gary is kind. Gary is round. If someone is kind then they are furry. Nice, kind people are furry. If Bob is nice then Bob is round. If Fiona is smart and Fiona is kind then Fiona is round. If someone is furry then they are blue. Blue people are round. If someone is round and smart then they are nice. Smart people are kind.
Anne is smart.
("Anne" "is" "smart" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is round.
("Bob" "is" "round" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is round.
("Gary" "is" "round" "+")
If someone is kind then they are furry.
((("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
Nice, kind people are furry.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
If Bob is nice then Bob is round.
((("Bob" "is" "nice" "+")) -> ("Bob" "is" "round" "+"))
If Fiona is smart and Fiona is kind then Fiona is round.
((("Fiona" "is" "smart" "+") ("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "round" "+"))
If someone is furry then they are blue.
((("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
Blue people are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is round and smart then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "+"))
Smart people are kind.
((("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
Fiona is round.
True
1
proof
[(triple9 OR ((triple10 triple7) -> rule4) OR ((triple10 ((triple10) -> rule8)) -> rule4) OR ((((((triple7) -> rule1)) -> rule5)) -> rule6) OR ((((((triple8 triple7) -> rule2)) -> rule5)) -> rule6) OR ((((((((triple10) -> rule8)) -> rule1)) -> rule5)) -> rule6) OR ((((((triple8 ((triple10) -> rule8)) -> rule2)) -> rule5)) -> rule6))]
("Fiona" "is" "round" "+")
triple9
((triple10 triple7) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple10 ((triple10) -> (rule8 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((((triple7) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((((triple8 triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((((((triple10) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((((triple8 ((triple10) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Bob is not kind.
False
1
inv-proof
[(triple4)]
("Bob" "is" "kind" "-")
triple4
Fiona is furry.
True
2
proof
[(((triple7) -> rule1) OR ((triple8 triple7) -> rule2) OR ((((triple10) -> rule8)) -> rule1) OR ((triple8 ((triple10) -> rule8)) -> rule2) OR ((((triple9 triple10) -> rule7) triple7) -> rule2) OR ((((triple9 triple10) -> rule7) ((triple10) -> rule8)) -> rule2) OR ((((((triple10 triple7) -> rule4) triple10) -> rule7) triple7) -> rule2) OR ((((((triple10 triple7) -> rule4) triple10) -> rule7) ((triple10) -> rule8)) -> rule2) OR ((((((triple10 ((triple10) -> rule8)) -> rule4) triple10) -> rule7) triple7) -> rule2) OR ((((((triple10 ((triple10) -> rule8)) -> rule4) triple10) -> rule7) ((triple10) -> rule8)) -> rule2))]
("Fiona" "is" "furry" "+")
((triple7) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple8 triple7) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple10) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((triple8 ((triple10) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple9 triple10) -> (rule7 % int2)) triple7) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple9 triple10) -> (rule7 % int3)) ((triple10) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((((triple10 triple7) -> (rule4 % int3)) triple10) -> (rule7 % int2)) triple7) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple10 triple7) -> (rule4 % int4)) triple10) -> (rule7 % int3)) ((triple10) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((triple10 ((triple10) -> (rule8 % int4))) -> (rule4 % int3)) triple10) -> (rule7 % int2)) triple7) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((((triple10 ((triple10) -> (rule8 % int4))) -> (rule4 % int3)) triple10) -> (rule7 % int2)) ((triple10) -> (rule8 % int4))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Anne is not kind.
False
2
inv-proof
[(((triple1) -> rule8))]
("Anne" "is" "kind" "-")
((triple1) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is furry.
True
3
proof
[(((((triple1) -> rule8)) -> rule1))]
("Anne" "is" "furry" "+")
((((triple1) -> (rule8 % int2))) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is not furry.
False
3
inv-proof
[(((((triple1) -> rule8)) -> rule1))]
("Anne" "is" "furry" "-")
((((triple1) -> (rule8 % int2))) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is blue.
True
4
proof
[(((((((triple1) -> rule8)) -> rule1)) -> rule5))]
("Anne" "is" "blue" "+")
((((((triple1) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is not blue.
False
4
inv-proof
[(((((((triple1) -> rule8)) -> rule1)) -> rule5))]
("Anne" "is" "blue" "-")
((((((triple1) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
True
5
proof
[(((((((((triple1) -> rule8)) -> rule1)) -> rule5)) -> rule6))]
("Anne" "is" "round" "+")
((((((((triple1) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is not round.
False
5
inv-proof
[(((((((((triple1) -> rule8)) -> rule1)) -> rule5)) -> rule6))]
("Anne" "is" "round" "-")
((((((((triple1) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is nice.
True
7
proof
[(((((((((((triple1) -> rule8)) -> rule1)) -> rule5)) -> rule6) triple1) -> rule7))]
("Anne" "is" "nice" "+")
((((((((((triple1) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2)) triple1) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is not nice.
False
7
inv-proof
[(((((((((((triple1) -> rule8)) -> rule1)) -> rule5)) -> rule6) triple1) -> rule7))]
("Anne" "is" "nice" "-")
((((((((((triple1) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2)) triple1) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "nice" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "nice" "+")
Anne is not cold.
Unknown
inv-random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
@0: Anne is smart.[(triple1)] Bob is blue.[(triple2 OR ((triple3) -> rule5) OR ((((triple4) -> rule1)) -> rule5))] Bob is furry.[(triple3 OR ((triple4) -> rule1))] Bob is kind.[(triple4)] Bob is round.[(triple5 OR ((triple2) -> rule6) OR ((((triple3) -> rule5)) -> rule6) OR ((((((triple4) -> rule1)) -> rule5)) -> rule6))] Fiona is cold.[(triple6)] Fiona is kind.[(triple7 OR ((triple10) -> rule8))] Fiona is nice.[(triple8 OR ((triple9 triple10) -> rule7) OR ((((triple10 triple7) -> rule4) triple10) -> rule7) OR ((((triple10 ((triple10) -> rule8)) -> rule4) triple10) -> rule7) OR ((((((((triple7) -> rule1)) -> rule5)) -> rule6) triple10) -> rule7) OR ((((((((((triple10) -> rule8)) -> rule1)) -> rule5)) -> rule6) triple10) -> rule7))] Fiona is round.[(triple9 OR ((triple10 triple7) -> rule4) OR ((triple10 ((triple10) -> rule8)) -> rule4) OR ((((((triple7) -> rule1)) -> rule5)) -> rule6) OR ((((((triple8 triple7) -> rule2)) -> rule5)) -> rule6) OR ((((((((triple10) -> rule8)) -> rule1)) -> rule5)) -> rule6) OR ((((((triple8 ((triple10) -> rule8)) -> rule2)) -> rule5)) -> rule6))] Fiona is smart.[(triple10)] Gary is blue.[(triple11 OR ((triple12) -> rule5) OR ((((triple13) -> rule1)) -> rule5))] Gary is furry.[(triple12 OR ((triple13) -> rule1))] Gary is kind.[(triple13)] Gary is round.[(triple14 OR ((triple11) -> rule6) OR ((((triple12) -> rule5)) -> rule6) OR ((((((triple13) -> rule1)) -> rule5)) -> rule6))] @1: Anne is kind.[(((triple1) -> rule8))] Fiona is furry.[(((triple7) -> rule1) OR ((triple8 triple7) -> rule2) OR ((((triple10) -> rule8)) -> rule1) OR ((triple8 ((triple10) -> rule8)) -> rule2) OR ((((triple9 triple10) -> rule7) triple7) -> rule2) OR ((((triple9 triple10) -> rule7) ((triple10) -> rule8)) -> rule2) OR ((((((triple10 triple7) -> rule4) triple10) -> rule7) triple7) -> rule2) OR ((((((triple10 triple7) -> rule4) triple10) -> rule7) ((triple10) -> rule8)) -> rule2) OR ((((((triple10 ((triple10) -> rule8)) -> rule4) triple10) -> rule7) triple7) -> rule2) OR ((((((triple10 ((triple10) -> rule8)) -> rule4) triple10) -> rule7) ((triple10) -> rule8)) -> rule2))] @2: Anne is furry.[(((((triple1) -> rule8)) -> rule1))] Fiona is blue.[(((((triple7) -> rule1)) -> rule5) OR ((((triple8 triple7) -> rule2)) -> rule5) OR ((((((triple10) -> rule8)) -> rule1)) -> rule5) OR ((((triple8 ((triple10) -> rule8)) -> rule2)) -> rule5) OR ((((((triple9 triple10) -> rule7) triple7) -> rule2)) -> rule5) OR ((((((triple9 triple10) -> rule7) ((triple10) -> rule8)) -> rule2)) -> rule5) OR ((((((((triple10 triple7) -> rule4) triple10) -> rule7) triple7) -> rule2)) -> rule5) OR ((((((((triple10 triple7) -> rule4) triple10) -> rule7) ((triple10) -> rule8)) -> rule2)) -> rule5) OR ((((((((triple10 ((triple10) -> rule8)) -> rule4) triple10) -> rule7) triple7) -> rule2)) -> rule5) OR ((((((((triple10 ((triple10) -> rule8)) -> rule4) triple10) -> rule7) ((triple10) -> rule8)) -> rule2)) -> rule5))] @3: Anne is blue.[(((((((triple1) -> rule8)) -> rule1)) -> rule5))] @4: Anne is round.[(((((((((triple1) -> rule8)) -> rule1)) -> rule5)) -> rule6))] @5: Anne is nice.[(((((((((((triple1) -> rule8)) -> rule1)) -> rule5)) -> rule6) triple1) -> rule7))]
Anne is smart.
("Anne" "is" "smart" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
((triple3) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((triple4) -> (rule1 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
((triple4) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple5
((triple2) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((((triple3) -> (rule5 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((((triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
((triple10) -> (rule8 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
((triple9 triple10) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((((triple10 triple7) -> (rule4 % int2)) triple10) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple10 ((triple10) -> (rule8 % int3))) -> (rule4 % int2)) triple10) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((((((triple7) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2)) triple10) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((((((((triple10) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2)) triple10) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
triple9
((triple10 triple7) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple10 ((triple10) -> (rule8 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((((triple7) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((((triple8 triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((((((triple10) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((((triple8 ((triple10) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
Gary is blue.
("Gary" "is" "blue" "+")
triple11
((triple12) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((triple13) -> (rule1 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
triple12
((triple13) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple13
Gary is round.
("Gary" "is" "round" "+")
triple14
((triple11) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((((triple12) -> (rule5 % int2))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((((((triple13) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
((triple1) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple7) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple8 triple7) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple10) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((triple8 ((triple10) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple9 triple10) -> (rule7 % int2)) triple7) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple9 triple10) -> (rule7 % int3)) ((triple10) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((((triple10 triple7) -> (rule4 % int3)) triple10) -> (rule7 % int2)) triple7) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple10 triple7) -> (rule4 % int4)) triple10) -> (rule7 % int3)) ((triple10) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((triple10 ((triple10) -> (rule8 % int4))) -> (rule4 % int3)) triple10) -> (rule7 % int2)) triple7) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((((triple10 ((triple10) -> (rule8 % int4))) -> (rule4 % int3)) triple10) -> (rule7 % int2)) ((triple10) -> (rule8 % int4))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
((((triple1) -> (rule8 % int2))) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
((((triple7) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple8 triple7) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((((triple10) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((triple8 ((triple10) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((((triple9 triple10) -> (rule7 % int3)) triple7) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((((triple9 triple10) -> (rule7 % int4)) ((triple10) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((((triple10 triple7) -> (rule4 % int4)) triple10) -> (rule7 % int3)) triple7) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((((triple10 triple7) -> (rule4 % int5)) triple10) -> (rule7 % int4)) ((triple10) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((((triple10 ((triple10) -> (rule8 % int5))) -> (rule4 % int4)) triple10) -> (rule7 % int3)) triple7) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((((((triple10 ((triple10) -> (rule8 % int5))) -> (rule4 % int4)) triple10) -> (rule7 % int3)) ((triple10) -> (rule8 % int5))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
Anne is blue.
("Anne" "is" "blue" "+")
((((((triple1) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
((((((((triple1) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
((((((((((triple1) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2)) triple1) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5