Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is red. Charlie is smart. Charlie is young. Fiona is cold. Fiona is green. Fiona is kind. Fiona is red. Fiona is smart. Fiona is young. Gary is cold. Gary is green. Gary is kind. Red, smart people are cold. If someone is smart then they are green. If someone is red and furry then they are kind. Furry, red people are smart. If Charlie is young and Charlie is furry then Charlie is cold. Kind people are furry. All smart, cold people are furry. All young, smart people are red.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Red, smart people are cold.
((("someone" "is" "red" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
If someone is smart then they are green.
((("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
If someone is red and furry then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
Furry, red people are smart.
((("someone" "is" "furry" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
If Charlie is young and Charlie is furry then Charlie is cold.
((("Charlie" "is" "young" "+") ("Charlie" "is" "furry" "+")) -> ("Charlie" "is" "cold" "+"))
Kind people are furry.
((("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
All smart, cold people are furry.
((("someone" "is" "smart" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
All young, smart people are red.
((("someone" "is" "young" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "red" "+"))
Charlie is kind.
True
1
proof
[(triple4 OR ((triple5 triple2) -> rule3) OR ((triple5 ((triple6 triple1) -> rule7)) -> rule3) OR ((((triple7 triple6) -> rule8) triple2) -> rule3) OR ((((triple7 triple6) -> rule8) ((triple6 triple1) -> rule7)) -> rule3) OR ((triple5 ((triple6 ((triple5 triple6) -> rule1)) -> rule7)) -> rule3) OR ((((triple7 triple6) -> rule8) ((triple6 ((triple5 triple6) -> rule1)) -> rule7)) -> rule3) OR ((triple5 ((triple6 ((((triple7 triple6) -> rule8) triple6) -> rule1)) -> rule7)) -> rule3) OR ((((triple7 triple6) -> rule8) ((triple6 ((((triple7 triple6) -> rule8) triple6) -> rule1)) -> rule7)) -> rule3))]
("Charlie" "is" "kind" "+")
triple4
((triple5 triple2) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple5 ((triple6 triple1) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple7 triple6) -> (rule8 % int2)) triple2) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((((triple7 triple6) -> (rule8 % int3)) ((triple6 triple1) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((triple5 ((triple6 ((triple5 triple6) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((triple7 triple6) -> (rule8 % int4)) ((triple6 ((triple5 triple6) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((triple5 ((triple6 ((((triple7 triple6) -> (rule8 % int4)) triple6) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((triple7 triple6) -> (rule8 % int4)) ((triple6 ((((triple7 triple6) -> (rule8 % int4)) triple6) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Fiona is not red.
False
1
inv-proof
[(triple11 OR ((triple13 triple12) -> rule8))]
("Fiona" "is" "red" "-")
triple11
((triple13 triple12) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
True
2
proof
[(((triple10) -> rule6) OR ((triple12 triple8) -> rule7) OR ((triple12 ((triple11 triple12) -> rule1)) -> rule7) OR ((triple12 ((((triple13 triple12) -> rule8) triple12) -> rule1)) -> rule7))]
("Fiona" "is" "furry" "+")
((triple10) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple12 triple8) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple12 ((triple11 triple12) -> (rule1 % int2))) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((triple12 ((((triple13 triple12) -> (rule8 % int3)) triple12) -> (rule1 % int2))) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Gary is not furry.
False
2
inv-proof
[(((triple16) -> rule6))]
("Gary" "is" "furry" "-")
((triple16) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Gary" "is" "red" "-")
Gary is smart.
Unknown
rconc
[@2: Gary is smart.[CWA. Example of deepest failure = (rule4 <- rule8 <- FAIL)]]
("Gary" "is" "smart" "+")
@0: Charlie is cold.[(triple1 OR ((triple5 triple6) -> rule1) OR ((triple7 triple2) -> rule5) OR ((triple5 ((triple2 triple5) -> rule4)) -> rule1) OR ((triple7 ((triple4) -> rule6)) -> rule5) OR ((((triple7 triple6) -> rule8) triple6) -> rule1) OR ((((triple7 triple6) -> rule8) ((triple2 triple5) -> rule4)) -> rule1) OR ((triple5 ((((triple4) -> rule6) triple5) -> rule4)) -> rule1) OR ((((triple7 triple6) -> rule8) ((((triple4) -> rule6) triple5) -> rule4)) -> rule1))] Charlie is furry.[(triple2 OR ((triple4) -> rule6) OR ((triple6 triple1) -> rule7) OR ((triple6 ((triple5 triple6) -> rule1)) -> rule7) OR ((triple6 ((((triple7 triple6) -> rule8) triple6) -> rule1)) -> rule7))] Charlie is green.[(triple3 OR ((triple6) -> rule2) OR ((((triple2 triple5) -> rule4)) -> rule2) OR ((((((triple4) -> rule6) triple5) -> rule4)) -> rule2))] Charlie is kind.[(triple4 OR ((triple5 triple2) -> rule3) OR ((triple5 ((triple6 triple1) -> rule7)) -> rule3) OR ((((triple7 triple6) -> rule8) triple2) -> rule3) OR ((((triple7 triple6) -> rule8) ((triple6 triple1) -> rule7)) -> rule3) OR ((triple5 ((triple6 ((triple5 triple6) -> rule1)) -> rule7)) -> rule3) OR ((((triple7 triple6) -> rule8) ((triple6 ((triple5 triple6) -> rule1)) -> rule7)) -> rule3) OR ((triple5 ((triple6 ((((triple7 triple6) -> rule8) triple6) -> rule1)) -> rule7)) -> rule3) OR ((((triple7 triple6) -> rule8) ((triple6 ((((triple7 triple6) -> rule8) triple6) -> rule1)) -> rule7)) -> rule3))] Charlie is red.[(triple5 OR ((triple7 triple6) -> rule8))] Charlie is smart.[(triple6 OR ((triple2 triple5) -> rule4) OR ((((triple4) -> rule6) triple5) -> rule4))] Charlie is young.[(triple7)] Fiona is cold.[(triple8 OR ((triple11 triple12) -> rule1) OR ((((triple13 triple12) -> rule8) triple12) -> rule1) OR ((triple11 ((((triple10) -> rule6) triple11) -> rule4)) -> rule1) OR ((((triple13 triple12) -> rule8) ((((triple10) -> rule6) triple11) -> rule4)) -> rule1))] Fiona is green.[(triple9 OR ((triple12) -> rule2) OR ((((((triple10) -> rule6) triple11) -> rule4)) -> rule2))] Fiona is kind.[(triple10 OR ((triple11 ((triple12 triple8) -> rule7)) -> rule3) OR ((((triple13 triple12) -> rule8) ((triple12 triple8) -> rule7)) -> rule3) OR ((triple11 ((triple12 ((triple11 triple12) -> rule1)) -> rule7)) -> rule3) OR ((((triple13 triple12) -> rule8) ((triple12 ((triple11 triple12) -> rule1)) -> rule7)) -> rule3) OR ((triple11 ((triple12 ((((triple13 triple12) -> rule8) triple12) -> rule1)) -> rule7)) -> rule3) OR ((((triple13 triple12) -> rule8) ((triple12 ((((triple13 triple12) -> rule8) triple12) -> rule1)) -> rule7)) -> rule3))] Fiona is red.[(triple11 OR ((triple13 triple12) -> rule8))] Fiona is smart.[(triple12 OR ((((triple10) -> rule6) triple11) -> rule4))] Fiona is young.[(triple13)] Gary is cold.[(triple14)] Gary is green.[(triple15)] Gary is kind.[(triple16)] @1: Fiona is furry.[(((triple10) -> rule6) OR ((triple12 triple8) -> rule7) OR ((triple12 ((triple11 triple12) -> rule1)) -> rule7) OR ((triple12 ((((triple13 triple12) -> rule8) triple12) -> rule1)) -> rule7))] Gary is furry.[(((triple16) -> rule6))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
((triple5 triple6) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((triple7 triple2) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((triple5 ((triple2 triple5) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((triple7 ((triple4) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple7 triple6) -> (rule8 % int2)) triple6) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((((triple7 triple6) -> (rule8 % int3)) ((triple2 triple5) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((triple5 ((((triple4) -> (rule6 % int3)) triple5) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((triple7 triple6) -> (rule8 % int4)) ((((triple4) -> (rule6 % int3)) triple5) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
((triple4) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((triple6 triple1) -> (rule7 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((triple6 ((triple5 triple6) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((triple6 ((((triple7 triple6) -> (rule8 % int3)) triple6) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
triple3
((triple6) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((((triple2 triple5) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((((triple4) -> (rule6 % int3)) triple5) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
((triple5 triple2) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple5 ((triple6 triple1) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple7 triple6) -> (rule8 % int2)) triple2) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((((triple7 triple6) -> (rule8 % int3)) ((triple6 triple1) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((triple5 ((triple6 ((triple5 triple6) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((triple7 triple6) -> (rule8 % int4)) ((triple6 ((triple5 triple6) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((triple5 ((triple6 ((((triple7 triple6) -> (rule8 % int4)) triple6) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((triple7 triple6) -> (rule8 % int4)) ((triple6 ((((triple7 triple6) -> (rule8 % int4)) triple6) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
triple5
((triple7 triple6) -> (rule8 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple6
((triple2 triple5) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((triple4) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
triple8
((triple11 triple12) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((((triple13 triple12) -> (rule8 % int2)) triple12) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((triple11 ((((triple10) -> (rule6 % int3)) triple11) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple13 triple12) -> (rule8 % int4)) ((((triple10) -> (rule6 % int3)) triple11) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
triple9
((triple12) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((((triple10) -> (rule6 % int3)) triple11) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
triple10
((triple11 ((triple12 triple8) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple13 triple12) -> (rule8 % int3)) ((triple12 triple8) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((triple11 ((triple12 ((triple11 triple12) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((triple13 triple12) -> (rule8 % int4)) ((triple12 ((triple11 triple12) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((triple11 ((triple12 ((((triple13 triple12) -> (rule8 % int4)) triple12) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((triple13 triple12) -> (rule8 % int4)) ((triple12 ((((triple13 triple12) -> (rule8 % int4)) triple12) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
triple11
((triple13 triple12) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12
((((triple10) -> (rule6 % int2)) triple11) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
triple13
Gary is cold.
("Gary" "is" "cold" "+")
triple14
Gary is green.
("Gary" "is" "green" "+")
triple15
Gary is kind.
("Gary" "is" "kind" "+")
triple16
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple10) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple12 triple8) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple12 ((triple11 triple12) -> (rule1 % int2))) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((triple12 ((((triple13 triple12) -> (rule8 % int3)) triple12) -> (rule1 % int2))) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
((triple16) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1