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