Bob is furry. Bob is green. Bob is nice. Bob is red. Bob is round. Dave is green. Fiona is blue. Fiona is red. Harry is green. Harry is nice. Harry is red. Harry is rough. If someone is rough then they are round.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Dave is green.
("Dave" "is" "green" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
Bob is nice.
True
1
proof
[(triple3)]
("Bob" "is" "nice" "+")
triple3
Harry is not green.
False
1
inv-proof
[(triple9)]
("Harry" "is" "green" "-")
triple9
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "round" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is nice.[(triple3)] Bob is red.[(triple4)] Bob is round.[(triple5)] Dave is green.[(triple6)] Fiona is blue.[(triple7)] Fiona is red.[(triple8)] Harry is green.[(triple9)] Harry is nice.[(triple10)] Harry is red.[(triple11)] Harry is rough.[(triple12)] @1: Harry is round.[(((triple12) -> rule1))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
triple6
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple12
Harry is round.
("Harry" "is" "round" "+")
((triple12) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1