Anne is blue. Anne is furry. Anne is quiet. Anne is rough. Anne is white. Bob is big. Bob is nice. Bob is white. Fiona is blue. Fiona is furry. Fiona is rough. Gary is blue. Gary is furry. Gary is quiet. Gary is rough. Gary is white. All furry things are big. If something is rough and big then it is white. If something is quiet then it is blue. If Fiona is blue and Fiona is quiet then Fiona is rough. Quiet things are furry. All furry things are rough. If Anne is big then Anne is quiet. Rough things are furry.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is white.
("Bob" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
All furry things are big.
((("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
If something is rough and big then it is white.
((("something" "is" "rough" "+") ("something" "is" "big" "+")) -> ("something" "is" "white" "+"))
If something is quiet then it is blue.
((("something" "is" "quiet" "+")) -> ("something" "is" "blue" "+"))
If Fiona is blue and Fiona is quiet then Fiona is rough.
((("Fiona" "is" "blue" "+") ("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "rough" "+"))
Quiet things are furry.
((("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
All furry things are rough.
((("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
If Anne is big then Anne is quiet.
((("Anne" "is" "big" "+")) -> ("Anne" "is" "quiet" "+"))
Rough things are furry.
((("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
Fiona is rough.
True
1
proof
[(triple11 OR ((triple10) -> rule6))]
("Fiona" "is" "rough" "+")
triple11
((triple10) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Gary is not white.
False
1
inv-proof
[(triple16 OR ((triple15 ((triple13) -> rule1)) -> rule2) OR ((((triple13) -> rule6) ((triple13) -> rule1)) -> rule2) OR ((triple15 ((((triple14) -> rule5)) -> rule1)) -> rule2) OR ((triple15 ((((triple15) -> rule8)) -> rule1)) -> rule2) OR ((((triple13) -> rule6) ((((triple14) -> rule5)) -> rule1)) -> rule2) OR ((((triple13) -> rule6) ((((triple15) -> rule8)) -> rule1)) -> rule2) OR ((((((triple14) -> rule5)) -> rule6) ((triple13) -> rule1)) -> rule2) OR ((((((triple14) -> rule5)) -> rule6) ((((triple14) -> rule5)) -> rule1)) -> rule2) OR ((((((triple14) -> rule5)) -> rule6) ((((triple15) -> rule8)) -> rule1)) -> rule2))]
("Gary" "is" "white" "-")
triple16
((triple15 ((triple13) -> (rule1 % int2))) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple13) -> (rule6 % int3)) ((triple13) -> (rule1 % int2))) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((triple15 ((((triple14) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((triple15 ((((triple15) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((triple13) -> (rule6 % int4)) ((((triple14) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((triple13) -> (rule6 % int4)) ((((triple15) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((triple14) -> (rule5 % int4))) -> (rule6 % int3)) ((triple13) -> (rule1 % int2))) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple14) -> (rule5 % int4))) -> (rule6 % int3)) ((((triple14) -> (rule5 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple14) -> (rule5 % int4))) -> (rule6 % int3)) ((((triple15) -> (rule8 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Fiona is big.
True
2
proof
[(((triple10) -> rule1) OR ((((triple11) -> rule8)) -> rule1))]
("Fiona" "is" "big" "+")
((triple10) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((triple11) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not big.
False
2
inv-proof
[(((triple10) -> rule1) OR ((((triple11) -> rule8)) -> rule1))]
("Fiona" "is" "big" "-")
((triple10) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((triple11) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Bob is not furry.
Unknown
inv-rconc
[@3: Bob is furry.[CWA. Example of deepest failure = (rule8 <- rule6 <- rule5 <- FAIL)]]
("Bob" "is" "furry" "-")
Bob is blue.
Unknown
rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "blue" "+")
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Anne is blue.[(triple1 OR ((triple3) -> rule3) OR ((((((triple2) -> rule1)) -> rule7)) -> rule3) OR ((((((((triple4) -> rule8)) -> rule1)) -> rule7)) -> rule3))] Anne is furry.[(triple2 OR ((triple3) -> rule5) OR ((triple4) -> rule8))] Anne is quiet.[(triple3 OR ((((triple2) -> rule1)) -> rule7) OR ((((((triple4) -> rule8)) -> rule1)) -> rule7))] Anne is rough.[(triple4 OR ((triple2) -> rule6) OR ((((triple3) -> rule5)) -> rule6))] Anne is white.[(triple5 OR ((triple4 ((triple2) -> rule1)) -> rule2) OR ((((triple2) -> rule6) ((triple2) -> rule1)) -> rule2) OR ((triple4 ((((triple3) -> rule5)) -> rule1)) -> rule2) OR ((triple4 ((((triple4) -> rule8)) -> rule1)) -> rule2) OR ((((triple2) -> rule6) ((((triple3) -> rule5)) -> rule1)) -> rule2) OR ((((triple2) -> rule6) ((((triple4) -> rule8)) -> rule1)) -> rule2) OR ((((((triple3) -> rule5)) -> rule6) ((triple2) -> rule1)) -> rule2) OR ((((((triple3) -> rule5)) -> rule6) ((((triple3) -> rule5)) -> rule1)) -> rule2) OR ((((((triple3) -> rule5)) -> rule6) ((((triple4) -> rule8)) -> rule1)) -> rule2))] Bob is big.[(triple6)] Bob is nice.[(triple7)] Bob is white.[(triple8)] Fiona is blue.[(triple9)] Fiona is furry.[(triple10 OR ((triple11) -> rule8))] Fiona is rough.[(triple11 OR ((triple10) -> rule6))] Gary is blue.[(triple12 OR ((triple14) -> rule3))] Gary is furry.[(triple13 OR ((triple14) -> rule5) OR ((triple15) -> rule8))] Gary is quiet.[(triple14)] Gary is rough.[(triple15 OR ((triple13) -> rule6) OR ((((triple14) -> rule5)) -> rule6))] Gary is white.[(triple16 OR ((triple15 ((triple13) -> rule1)) -> rule2) OR ((((triple13) -> rule6) ((triple13) -> rule1)) -> rule2) OR ((triple15 ((((triple14) -> rule5)) -> rule1)) -> rule2) OR ((triple15 ((((triple15) -> rule8)) -> rule1)) -> rule2) OR ((((triple13) -> rule6) ((((triple14) -> rule5)) -> rule1)) -> rule2) OR ((((triple13) -> rule6) ((((triple15) -> rule8)) -> rule1)) -> rule2) OR ((((((triple14) -> rule5)) -> rule6) ((triple13) -> rule1)) -> rule2) OR ((((((triple14) -> rule5)) -> rule6) ((((triple14) -> rule5)) -> rule1)) -> rule2) OR ((((((triple14) -> rule5)) -> rule6) ((((triple15) -> rule8)) -> rule1)) -> rule2))] @1: Anne is big.[(((triple2) -> rule1) OR ((((triple3) -> rule5)) -> rule1) OR ((((triple4) -> rule8)) -> rule1))] Fiona is big.[(((triple10) -> rule1) OR ((((triple11) -> rule8)) -> rule1))] Gary is big.[(((triple13) -> rule1) OR ((((triple14) -> rule5)) -> rule1) OR ((((triple15) -> rule8)) -> rule1))] @2: Fiona is white.[(((triple11 ((triple10) -> rule1)) -> rule2) OR ((((triple10) -> rule6) ((triple10) -> rule1)) -> rule2) OR ((triple11 ((((triple11) -> rule8)) -> rule1)) -> rule2) OR ((((triple10) -> rule6) ((((triple11) -> rule8)) -> rule1)) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple3) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((((((triple2) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((((triple4) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
triple2
((triple3) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((triple4) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
((((triple2) -> (rule1 % int2))) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((((triple4) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
((triple2) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple3) -> (rule5 % int2))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
triple5
((triple4 ((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((triple2) -> (rule6 % int3)) ((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((triple4 ((((triple3) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((triple4 ((((triple4) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((triple2) -> (rule6 % int4)) ((((triple3) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple2) -> (rule6 % int4)) ((((triple4) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((triple3) -> (rule5 % int4))) -> (rule6 % int3)) ((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((triple3) -> (rule5 % int4))) -> (rule6 % int3)) ((((triple3) -> (rule5 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((triple3) -> (rule5 % int4))) -> (rule6 % int3)) ((((triple4) -> (rule8 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
triple6
Bob is nice.
("Bob" "is" "nice" "+")
triple7
Bob is white.
("Bob" "is" "white" "+")
triple8
Fiona is blue.
("Fiona" "is" "blue" "+")
triple9
Fiona is furry.
("Fiona" "is" "furry" "+")
triple10
((triple11) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple11
((triple10) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
triple12
((triple14) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
triple13
((triple14) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple15) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple14
Gary is rough.
("Gary" "is" "rough" "+")
triple15
((triple13) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((((triple14) -> (rule5 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
triple16
((triple15 ((triple13) -> (rule1 % int2))) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple13) -> (rule6 % int3)) ((triple13) -> (rule1 % int2))) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((triple15 ((((triple14) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((triple15 ((((triple15) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((triple13) -> (rule6 % int4)) ((((triple14) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((triple13) -> (rule6 % int4)) ((((triple15) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((triple14) -> (rule5 % int4))) -> (rule6 % int3)) ((triple13) -> (rule1 % int2))) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple14) -> (rule5 % int4))) -> (rule6 % int3)) ((((triple14) -> (rule5 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple14) -> (rule5 % int4))) -> (rule6 % int3)) ((((triple15) -> (rule8 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
((triple2) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((triple3) -> (rule5 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((triple4) -> (rule8 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
((triple10) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((triple11) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((triple13) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((((triple14) -> (rule5 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple15) -> (rule8 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
((triple11 ((triple10) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple10) -> (rule6 % int3)) ((triple10) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((triple11 ((((triple11) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple10) -> (rule6 % int4)) ((((triple11) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4