Anne is green. Anne is not smart. Bob is round. Bob is young. Charlie is rough. Charlie is round. Charlie is young. Fiona is furry. Fiona is green. Fiona is rough. If someone is green and not round then they are furry. If someone is young and round then they are not green.
Anne is green.
("Anne" "is" "green" "+")
Anne is not smart.
("Anne" "is" "smart" "-")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
If someone is green and not round then they are furry.
((("someone" "is" "green" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "furry" "+"))
If someone is young and round then they are not green.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "-"))
Charlie is young.
True
1
proof
[(triple7)]
("Charlie" "is" "young" "+")
triple7
Anne is smart.
False
1
inv-proof
[(triple2)]
("Anne" "is" "smart" "+")
triple2
Charlie is not furry.
Unknown
inv-rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "furry" "-")
Bob is smart.
Unknown
random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "+")
@0: Anne is green.[(triple1)] Anne is not smart.[(triple2)] Bob is round.[(triple3)] Bob is young.[(triple4)] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Charlie is young.[(triple7)] Fiona is furry.[(triple8)] Fiona is green.[(triple9)] Fiona is rough.[(triple10)] @1: Bob is not green.[(((triple4 triple3) -> rule2))] Charlie is not green.[(((triple7 triple6) -> rule2))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is not smart.
("Anne" "is" "smart" "-")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
Fiona is green.
("Fiona" "is" "green" "+")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
Bob is not green.
("Bob" "is" "green" "-")
((triple4 triple3) -> (rule2 % int1))
Bob is not green.
("Bob" "is" "green" "-")
int1
Charlie is not green.
("Charlie" "is" "green" "-")
((triple7 triple6) -> (rule2 % int1))
Charlie is not green.
("Charlie" "is" "green" "-")
int1