Bob is red. Charlie is round. Gary is red. Harry is red. If Bob is furry then Bob is red. All green things are red.
Bob is red.
("Bob" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is red.
("Harry" "is" "red" "+")
If Bob is furry then Bob is red.
((("Bob" "is" "furry" "+")) -> ("Bob" "is" "red" "+"))
All green things are red.
((("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
Charlie is round.
True
1
proof
[(triple2)]
("Charlie" "is" "round" "+")
triple2
Bob is not red.
False
1
inv-proof
[(triple1)]
("Bob" "is" "red" "-")
triple1
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "red" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is red.[(triple1)] Charlie is round.[(triple2)] Gary is red.[(triple3)] Harry is red.[(triple4)]
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Gary is red.
("Gary" "is" "red" "+")
triple3
Harry is red.
("Harry" "is" "red" "+")
triple4