Anne is rough. Bob is blue. Bob is nice. Bob is round. Dave is cold. Dave is nice. Dave is red. Dave is round. Dave is smart. Gary is nice. Round things are blue.
Anne is rough.
("Anne" "is" "rough" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is round.
("Bob" "is" "round" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Round things are blue.
((("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
Anne is rough.
True
1
proof
[(triple1)]
("Anne" "is" "rough" "+")
triple1
Gary is not nice.
False
1
inv-proof
[(triple10)]
("Gary" "is" "nice" "-")
triple10
Dave is blue.
True
2
proof
[(((triple8) -> rule1))]
("Dave" "is" "blue" "+")
((triple8) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is not blue.
False
2
inv-proof
[(((triple8) -> rule1))]
("Dave" "is" "blue" "-")
((triple8) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "blue" "-")
Anne is blue.
Unknown
rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "blue" "+")
Anne is not red.
Unknown
inv-random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Anne is rough.[(triple1)] Bob is blue.[(triple2 OR ((triple4) -> rule1))] Bob is nice.[(triple3)] Bob is round.[(triple4)] Dave is cold.[(triple5)] Dave is nice.[(triple6)] Dave is red.[(triple7)] Dave is round.[(triple8)] Dave is smart.[(triple9)] Gary is nice.[(triple10)] @1: Dave is blue.[(((triple8) -> rule1))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
((triple4) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple8
Dave is smart.
("Dave" "is" "smart" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Dave is blue.
("Dave" "is" "blue" "+")
((triple8) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1