Bob is quiet. Bob is rough. Charlie is blue. Charlie is kind. Fiona is blue. Fiona is green. Fiona is kind. If someone is blue and not young then they are not rough. If Charlie is green and Charlie is young then Charlie is not furry. All blue, green people are not quiet.
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
If someone is blue and not young then they are not rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "rough" "-"))
If Charlie is green and Charlie is young then Charlie is not furry.
((("Charlie" "is" "green" "+") ("Charlie" "is" "young" "+")) -> ("Charlie" "is" "furry" "-"))
All blue, green people are not quiet.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "quiet" "-"))
Fiona is blue.
True
1
proof
[(triple5)]
("Fiona" "is" "blue" "+")
triple5
Fiona is not kind.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "kind" "-")
triple7
Fiona is not quiet.
True
3
proof
[(((triple5 triple6) -> rule3))]
("Fiona" "is" "quiet" "-")
((triple5 triple6) -> (rule3 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is quiet.
False
3
inv-proof
[(((triple5 triple6) -> rule3))]
("Fiona" "is" "quiet" "+")
((triple5 triple6) -> (rule3 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is quiet.[(triple1)] Bob is rough.[(triple2)] Charlie is blue.[(triple3)] Charlie is kind.[(triple4)] Fiona is blue.[(triple5)] Fiona is green.[(triple6)] Fiona is kind.[(triple7)] @1: Fiona is not quiet.[(((triple5 triple6) -> rule3))]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
((triple5 triple6) -> (rule3 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1