Bob is blue. Bob is round. Dave is blue. Dave is furry. Dave is white. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is round. Fiona is white. All white, blue things are rough. If Bob is smart then Bob is rough. If something is smart and rough then it is white.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is round.
("Bob" "is" "round" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
All white, blue things are rough.
((("something" "is" "white" "+") ("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
If Bob is smart then Bob is rough.
((("Bob" "is" "smart" "+")) -> ("Bob" "is" "rough" "+"))
If something is smart and rough then it is white.
((("something" "is" "smart" "+") ("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
Bob is round.
True
1
proof
[(triple2)]
("Bob" "is" "round" "+")
triple2
Dave is not blue.
False
1
inv-proof
[(triple3)]
("Dave" "is" "blue" "-")
triple3
Fiona is rough.
True
3
proof
[(((triple10 triple6) -> rule1))]
("Fiona" "is" "rough" "+")
((triple10 triple6) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not rough.
False
3
inv-proof
[(((triple10 triple6) -> rule1))]
("Fiona" "is" "rough" "-")
((triple10 triple6) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Bob is not rough.
Unknown
inv-rconc
[@2: Bob is rough.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Bob" "is" "rough" "-")
Bob is white.
Unknown
rconc
[@1: Bob is white.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "white" "+")
Bob is not furry.
Unknown
inv-random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Bob is blue.[(triple1)] Bob is round.[(triple2)] Dave is blue.[(triple3)] Dave is furry.[(triple4)] Dave is white.[(triple5)] Fiona is blue.[(triple6)] Fiona is cold.[(triple7)] Fiona is furry.[(triple8)] Fiona is round.[(triple9)] Fiona is white.[(triple10)] @1: Dave is rough.[(((triple5 triple3) -> rule1))] Fiona is rough.[(((triple10 triple6) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Dave is blue.
("Dave" "is" "blue" "+")
triple3
Dave is furry.
("Dave" "is" "furry" "+")
triple4
Dave is white.
("Dave" "is" "white" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Dave is rough.
("Dave" "is" "rough" "+")
((triple5 triple3) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple10 triple6) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1