Bob is red. Bob is smart. Fiona is blue. Fiona is cold. Fiona is round. Gary is round. Gary is smart. If something is smart then it is round. If something is cold then it is white.
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If something is smart then it is round.
((("something" "is" "smart" "+")) -> ("something" "is" "round" "+"))
If something is cold then it is white.
((("something" "is" "cold" "+")) -> ("something" "is" "white" "+"))
Bob is smart.
True
1
proof
[(triple2)]
("Bob" "is" "smart" "+")
triple2
Fiona is not cold.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "cold" "-")
triple4
Bob is not white.
Unknown
inv-rconc
[@1: Bob is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "white" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Bob is red.[(triple1)] Bob is smart.[(triple2)] Fiona is blue.[(triple3)] Fiona is cold.[(triple4)] Fiona is round.[(triple5)] Gary is round.[(triple6 OR ((triple7) -> rule1))] Gary is smart.[(triple7)] @1: Bob is round.[(((triple2) -> rule1))] Fiona is white.[(((triple4) -> rule2))]
Bob is red.
("Bob" "is" "red" "+")
triple1
Bob is smart.
("Bob" "is" "smart" "+")
triple2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
Fiona is round.
("Fiona" "is" "round" "+")
triple5
Gary is round.
("Gary" "is" "round" "+")
triple6
((triple7) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
triple7
Bob is round.
("Bob" "is" "round" "+")
((triple2) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple4) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1