Bob is red. Bob is round. Dave is furry. Erin is nice. Harry is kind. Harry is red. Harry is round. All quiet things are round.
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
All quiet things are round.
((("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
Bob is red.
True
1
proof
[(triple1)]
("Bob" "is" "red" "+")
triple1
Harry is not kind.
False
1
inv-proof
[(triple5)]
("Harry" "is" "kind" "-")
triple5
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "round" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
@0: Bob is red.[(triple1)] Bob is round.[(triple2)] Dave is furry.[(triple3)] Erin is nice.[(triple4)] Harry is kind.[(triple5)] Harry is red.[(triple6)] Harry is round.[(triple7)]
Bob is red.
("Bob" "is" "red" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple3
Erin is nice.
("Erin" "is" "nice" "+")
triple4
Harry is kind.
("Harry" "is" "kind" "+")
triple5
Harry is red.
("Harry" "is" "red" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple7