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