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