Anne is furry. Bob is blue. Bob is green. Bob is rough. Dave is young. Fiona is nice. Fiona is smart. If someone is furry then they are not nice.
Anne is furry.
("Anne" "is" "furry" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If someone is furry then they are not nice.
((("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "-"))
Dave is young.
True
1
proof
[(triple5)]
("Dave" "is" "young" "+")
triple5
Anne is not furry.
False
1
inv-proof
[(triple1)]
("Anne" "is" "furry" "-")
triple1
Anne is not nice.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "nice" "-")
((triple1) -> (rule1 % int1))
Anne is not nice.
("Anne" "is" "nice" "-")
int1
Anne is nice.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "nice" "+")
((triple1) -> (rule1 % int1))
Anne is not nice.
("Anne" "is" "nice" "-")
int1
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
@0: Anne is furry.[(triple1)] Bob is blue.[(triple2)] Bob is green.[(triple3)] Bob is rough.[(triple4)] Dave is young.[(triple5)] Fiona is nice.[(triple6)] Fiona is smart.[(triple7)] @1: Anne is not nice.[(((triple1) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple5
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Anne is not nice.
("Anne" "is" "nice" "-")
((triple1) -> (rule1 % int1))
Anne is not nice.
("Anne" "is" "nice" "-")
int1