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