Bob is not furry. Bob is kind. Bob is red. Bob is rough. Bob is round. Fiona is green. Fiona is not kind. Fiona is red. Fiona is round. Fiona is young. If Bob is red and Bob is green then Bob is kind. Furry things are young. If something is round then it is rough.
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If Bob is red and Bob is green then Bob is kind.
((("Bob" "is" "red" "+") ("Bob" "is" "green" "+")) -> ("Bob" "is" "kind" "+"))
Furry things are young.
((("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
If something is round then it is rough.
((("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
Fiona is young.
True
1
proof
[(triple10)]
("Fiona" "is" "young" "+")
triple10
Fiona is not green.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "green" "-")
triple6
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "young" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Bob is kind.[(triple2)] Bob is not furry.[(triple1)] Bob is red.[(triple3)] Bob is rough.[(triple4 OR ((triple5) -> rule3))] Bob is round.[(triple5)] Fiona is green.[(triple6)] Fiona is not kind.[(triple7)] Fiona is red.[(triple8)] Fiona is round.[(triple9)] Fiona is young.[(triple10)] @1: Fiona is rough.[(((triple9) -> rule3))]
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is not furry.
("Bob" "is" "furry" "-")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
((triple5) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple8
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple9) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1