Bob is blue. Dave is blue. Fiona is young. Gary is blue. If something is rough then it is furry. If Bob is young then Bob is furry. If Fiona is big and Fiona is quiet then Fiona is red. If something is big then it is not rough. If something is furry and young then it is blue. If something is blue then it is not red.
Bob is blue.
("Bob" "is" "blue" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If something is rough then it is furry.
((("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
If Bob is young then Bob is furry.
((("Bob" "is" "young" "+")) -> ("Bob" "is" "furry" "+"))
If Fiona is big and Fiona is quiet then Fiona is red.
((("Fiona" "is" "big" "+") ("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "red" "+"))
If something is big then it is not rough.
((("something" "is" "big" "+")) -> ("something" "is" "rough" "-"))
If something is furry and young then it is blue.
((("something" "is" "furry" "+") ("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
If something is blue then it is not red.
((("something" "is" "blue" "+")) -> ("something" "is" "red" "-"))
Bob is blue.
True
1
proof
[(triple1)]
("Bob" "is" "blue" "+")
triple1
Dave is not blue.
False
1
inv-proof
[(triple2)]
("Dave" "is" "blue" "-")
triple2
Dave is not red.
True
2
proof
[(((triple2) -> rule6))]
("Dave" "is" "red" "-")
((triple2) -> (rule6 % int1))
Dave is not red.
("Dave" "is" "red" "-")
int1
Gary is red.
False
2
inv-proof
[(((triple4) -> rule6))]
("Gary" "is" "red" "+")
((triple4) -> (rule6 % int1))
Gary is not red.
("Gary" "is" "red" "-")
int1
Fiona is not blue.
Unknown
inv-rconc
[@2: Fiona is blue.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Fiona" "is" "blue" "-")
Fiona is furry.
Unknown
rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "furry" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Bob is blue.[(triple1)] Dave is blue.[(triple2)] Fiona is young.[(triple3)] Gary is blue.[(triple4)] @1: Bob is not red.[(((triple1) -> rule6))] Dave is not red.[(((triple2) -> rule6))] Gary is not red.[(((triple4) -> rule6))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Fiona is young.
("Fiona" "is" "young" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple4
Bob is not red.
("Bob" "is" "red" "-")
((triple1) -> (rule6 % int1))
Bob is not red.
("Bob" "is" "red" "-")
int1
Dave is not red.
("Dave" "is" "red" "-")
((triple2) -> (rule6 % int1))
Dave is not red.
("Dave" "is" "red" "-")
int1
Gary is not red.
("Gary" "is" "red" "-")
((triple4) -> (rule6 % int1))
Gary is not red.
("Gary" "is" "red" "-")
int1