Dave is blue. Dave is furry. Dave is quiet. Dave is rough. Fiona is not blue. Fiona is cold. Fiona is not furry. Fiona is quiet. Fiona is red. Fiona is rough. Red people are cold. If Fiona is blue then Fiona is furry. If someone is cold and big then they are red.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Red people are cold.
((("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If Fiona is blue then Fiona is furry.
((("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "furry" "+"))
If someone is cold and big then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
Fiona is rough.
True
1
proof
[(triple10)]
("Fiona" "is" "rough" "+")
triple10
Fiona is not rough.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "rough" "-")
triple10
Dave is not cold.
Unknown
inv-rconc
[@2: Dave is cold.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Dave" "is" "cold" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2)] Dave is quiet.[(triple3)] Dave is rough.[(triple4)] Fiona is cold.[(triple6 OR ((triple9) -> rule1))] Fiona is not blue.[(triple5)] Fiona is not furry.[(triple7)] Fiona is quiet.[(triple8)] Fiona is red.[(triple9)] Fiona is rough.[(triple10)]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
((triple9) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple5
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
Fiona is red.
("Fiona" "is" "red" "+")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10