Anne is cold. Anne is furry. Anne is kind. Anne is rough. Anne is white. Bob is not big. Bob is not kind. Bob is rough. Fiona is not big. Fiona is not rough. Gary is furry. If something is furry then it is rough. All white, furry things are big. Big things are kind. All cold things are kind. If something is rough then it is white. Green things are white. White, kind things are cold. All green, big things are furry.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is not big.
("Bob" "is" "big" "-")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is rough.
("Bob" "is" "rough" "+")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Gary is furry.
("Gary" "is" "furry" "+")
If something is furry then it is rough.
((("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
All white, furry things are big.
((("something" "is" "white" "+") ("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
Big things are kind.
((("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
All cold things are kind.
((("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
If something is rough then it is white.
((("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
Green things are white.
((("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
White, kind things are cold.
((("something" "is" "white" "+") ("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
All green, big things are furry.
((("something" "is" "green" "+") ("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
Anne is cold.
True
1
proof
[(triple1 OR ((triple5 triple3) -> rule7) OR ((((triple4) -> rule5) triple3) -> rule7) OR ((triple5 ((((triple5 triple2) -> rule2)) -> rule3)) -> rule7) OR ((((((triple2) -> rule1)) -> rule5) triple3) -> rule7) OR ((((triple4) -> rule5) ((((triple5 triple2) -> rule2)) -> rule3)) -> rule7) OR ((((((triple2) -> rule1)) -> rule5) ((((triple5 triple2) -> rule2)) -> rule3)) -> rule7) OR ((triple5 ((((((triple4) -> rule5) triple2) -> rule2)) -> rule3)) -> rule7) OR ((((triple4) -> rule5) ((((((triple4) -> rule5) triple2) -> rule2)) -> rule3)) -> rule7) OR ((((((triple2) -> rule1)) -> rule5) ((((((triple4) -> rule5) triple2) -> rule2)) -> rule3)) -> rule7) OR ((triple5 ((((((((triple2) -> rule1)) -> rule5) triple2) -> rule2)) -> rule3)) -> rule7) OR ((((triple4) -> rule5) ((((((((triple2) -> rule1)) -> rule5) triple2) -> rule2)) -> rule3)) -> rule7) OR ((((((triple2) -> rule1)) -> rule5) ((((((((triple2) -> rule1)) -> rule5) triple2) -> rule2)) -> rule3)) -> rule7))]
("Anne" "is" "cold" "+")
triple1
((triple5 triple3) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((((triple4) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((triple5 ((((triple5 triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((triple2) -> (rule1 % int3))) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((triple4) -> (rule5 % int4)) ((((triple5 triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple2) -> (rule1 % int5))) -> (rule5 % int4)) ((((triple5 triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((triple5 ((((((triple4) -> (rule5 % int4)) triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((triple4) -> (rule5 % int4)) ((((((triple4) -> (rule5 % int4)) triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple2) -> (rule1 % int5))) -> (rule5 % int4)) ((((((triple4) -> (rule5 % int4)) triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((triple5 ((((((((triple2) -> (rule1 % int5))) -> (rule5 % int4)) triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((triple4) -> (rule5 % int5)) ((((((((triple2) -> (rule1 % int4))) -> (rule5 % int5)) triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
((((((triple2) -> (rule1 % int5))) -> (rule5 % int4)) ((((((((triple2) -> (rule1 % int5))) -> (rule5 % int4)) triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Bob is kind.
False
1
inv-proof
[(triple7)]
("Bob" "is" "kind" "+")
triple7
Anne is big.
True
3
proof
[(((triple5 triple2) -> rule2) OR ((((triple4) -> rule5) triple2) -> rule2) OR ((((((triple2) -> rule1)) -> rule5) triple2) -> rule2))]
("Anne" "is" "big" "+")
((triple5 triple2) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((triple4) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((((triple2) -> (rule1 % int3))) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Gary is not rough.
False
2
inv-proof
[(((triple11) -> rule1))]
("Gary" "is" "rough" "-")
((triple11) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
True
3
proof
[(((((triple11) -> rule1)) -> rule5))]
("Gary" "is" "white" "+")
((((triple11) -> (rule1 % int2))) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is not white.
False
3
inv-proof
[(((((triple11) -> rule1)) -> rule5))]
("Gary" "is" "white" "-")
((((triple11) -> (rule1 % int2))) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
True
5
proof
[(((((((triple11) -> rule1)) -> rule5) triple11) -> rule2))]
("Gary" "is" "big" "+")
((((((triple11) -> (rule1 % int3))) -> (rule5 % int2)) triple11) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is not big.
False
5
inv-proof
[(((((((triple11) -> rule1)) -> rule5) triple11) -> rule2))]
("Gary" "is" "big" "-")
((((((triple11) -> (rule1 % int3))) -> (rule5 % int2)) triple11) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is kind.
True
6
proof
[(((((((((triple11) -> rule1)) -> rule5) triple11) -> rule2)) -> rule3))]
("Gary" "is" "kind" "+")
((((((((triple11) -> (rule1 % int4))) -> (rule5 % int3)) triple11) -> (rule2 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is not kind.
False
6
inv-proof
[(((((((((triple11) -> rule1)) -> rule5) triple11) -> rule2)) -> rule3))]
("Gary" "is" "kind" "-")
((((((((triple11) -> (rule1 % int4))) -> (rule5 % int3)) triple11) -> (rule2 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is cold.
True
10
proof
[(((((((triple11) -> rule1)) -> rule5) ((((((((triple11) -> rule1)) -> rule5) triple11) -> rule2)) -> rule3)) -> rule7))]
("Gary" "is" "cold" "+")
((((((triple11) -> (rule1 % int5))) -> (rule5 % int4)) ((((((((triple11) -> (rule1 % int5))) -> (rule5 % int4)) triple11) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Gary is not cold.
False
10
inv-proof
[(((((((triple11) -> rule1)) -> rule5) ((((((((triple11) -> rule1)) -> rule5) triple11) -> rule2)) -> rule3)) -> rule7))]
("Gary" "is" "cold" "-")
((((((triple11) -> (rule1 % int5))) -> (rule5 % int4)) ((((((((triple11) -> (rule1 % int5))) -> (rule5 % int4)) triple11) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Fiona is not cold.
Unknown
inv-rconc
[@2: Fiona is cold.[CWA. Example of deepest failure = (rule7 <- rule5 <- FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is white.
Unknown
rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "white" "+")
Fiona is not kind.
Unknown
inv-rconc
[@3: Fiona is kind.[CWA. Example of deepest failure = (rule4 <- rule7 <- rule5 <- FAIL)]]
("Fiona" "is" "kind" "-")
Bob is furry.
Unknown
rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Bob" "is" "furry" "+")
Fiona is not furry.
Unknown
inv-rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Fiona" "is" "furry" "-")
Bob is cold.
Unknown
rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "cold" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is cold.[(triple1 OR ((triple5 triple3) -> rule7) OR ((((triple4) -> rule5) triple3) -> rule7) OR ((triple5 ((((triple5 triple2) -> rule2)) -> rule3)) -> rule7) OR ((((((triple2) -> rule1)) -> rule5) triple3) -> rule7) OR ((((triple4) -> rule5) ((((triple5 triple2) -> rule2)) -> rule3)) -> rule7) OR ((((((triple2) -> rule1)) -> rule5) ((((triple5 triple2) -> rule2)) -> rule3)) -> rule7) OR ((triple5 ((((((triple4) -> rule5) triple2) -> rule2)) -> rule3)) -> rule7) OR ((((triple4) -> rule5) ((((((triple4) -> rule5) triple2) -> rule2)) -> rule3)) -> rule7) OR ((((((triple2) -> rule1)) -> rule5) ((((((triple4) -> rule5) triple2) -> rule2)) -> rule3)) -> rule7) OR ((triple5 ((((((((triple2) -> rule1)) -> rule5) triple2) -> rule2)) -> rule3)) -> rule7) OR ((((triple4) -> rule5) ((((((((triple2) -> rule1)) -> rule5) triple2) -> rule2)) -> rule3)) -> rule7) OR ((((((triple2) -> rule1)) -> rule5) ((((((((triple2) -> rule1)) -> rule5) triple2) -> rule2)) -> rule3)) -> rule7))] Anne is furry.[(triple2)] Anne is kind.[(triple3 OR ((triple1) -> rule4) OR ((((triple5 triple2) -> rule2)) -> rule3) OR ((((((triple4) -> rule5) triple2) -> rule2)) -> rule3) OR ((((((((triple2) -> rule1)) -> rule5) triple2) -> rule2)) -> rule3))] Anne is rough.[(triple4 OR ((triple2) -> rule1))] Anne is white.[(triple5 OR ((triple4) -> rule5) OR ((((triple2) -> rule1)) -> rule5))] Bob is not big.[(triple6)] Bob is not kind.[(triple7)] Bob is rough.[(triple8)] Fiona is not big.[(triple9)] Fiona is not rough.[(triple10)] Gary is furry.[(triple11)] @1: Anne is big.[(((triple5 triple2) -> rule2) OR ((((triple4) -> rule5) triple2) -> rule2) OR ((((((triple2) -> rule1)) -> rule5) triple2) -> rule2))] Bob is white.[(((triple8) -> rule5))] Gary is rough.[(((triple11) -> rule1))] @2: Gary is white.[(((((triple11) -> rule1)) -> rule5))] @3: Gary is big.[(((((((triple11) -> rule1)) -> rule5) triple11) -> rule2))] @4: Gary is kind.[(((((((((triple11) -> rule1)) -> rule5) triple11) -> rule2)) -> rule3))] @5: Gary is cold.[(((((((triple11) -> rule1)) -> rule5) ((((((((triple11) -> rule1)) -> rule5) triple11) -> rule2)) -> rule3)) -> rule7))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((triple5 triple3) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((((triple4) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((triple5 ((((triple5 triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((triple2) -> (rule1 % int3))) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((triple4) -> (rule5 % int4)) ((((triple5 triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple2) -> (rule1 % int5))) -> (rule5 % int4)) ((((triple5 triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((triple5 ((((((triple4) -> (rule5 % int4)) triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((triple4) -> (rule5 % int4)) ((((((triple4) -> (rule5 % int4)) triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple2) -> (rule1 % int5))) -> (rule5 % int4)) ((((((triple4) -> (rule5 % int4)) triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((triple5 ((((((((triple2) -> (rule1 % int5))) -> (rule5 % int4)) triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((triple4) -> (rule5 % int5)) ((((((((triple2) -> (rule1 % int4))) -> (rule5 % int5)) triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
((((((triple2) -> (rule1 % int5))) -> (rule5 % int4)) ((((((((triple2) -> (rule1 % int5))) -> (rule5 % int4)) triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
((triple1) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((((triple5 triple2) -> (rule2 % int2))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((((triple4) -> (rule5 % int3)) triple2) -> (rule2 % int2))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((((((triple2) -> (rule1 % int4))) -> (rule5 % int3)) triple2) -> (rule2 % int2))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
triple4
((triple2) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
triple5
((triple4) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Bob is not big.
("Bob" "is" "big" "-")
triple6
Bob is not kind.
("Bob" "is" "kind" "-")
triple7
Bob is rough.
("Bob" "is" "rough" "+")
triple8
Fiona is not big.
("Fiona" "is" "big" "-")
triple9
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple10
Gary is furry.
("Gary" "is" "furry" "+")
triple11
Anne is big.
("Anne" "is" "big" "+")
((triple5 triple2) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((triple4) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((((triple2) -> (rule1 % int3))) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
((triple8) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple11) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((((triple11) -> (rule1 % int2))) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((((((triple11) -> (rule1 % int3))) -> (rule5 % int2)) triple11) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
((((((((triple11) -> (rule1 % int4))) -> (rule5 % int3)) triple11) -> (rule2 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
((((((triple11) -> (rule1 % int5))) -> (rule5 % int4)) ((((((((triple11) -> (rule1 % int5))) -> (rule5 % int4)) triple11) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5