Charlie is big. Charlie is furry. Charlie is nice. Charlie is young. Erin is big. Erin is quiet. Fiona is furry. All young things are not rough. If something is young then it is not quiet. If Charlie is nice and Charlie is not furry then Charlie is big.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
All young things are not rough.
((("something" "is" "young" "+")) -> ("something" "is" "rough" "-"))
If something is young then it is not quiet.
((("something" "is" "young" "+")) -> ("something" "is" "quiet" "-"))
If Charlie is nice and Charlie is not furry then Charlie is big.
((("Charlie" "is" "nice" "+") ("Charlie" "is" "furry" "~")) -> ("Charlie" "is" "big" "+"))
Erin is big.
True
1
proof
[(triple5)]
("Erin" "is" "big" "+")
triple5
Erin is not big.
False
1
inv-proof
[(triple5)]
("Erin" "is" "big" "-")
triple5
Charlie is not rough.
True
2
proof
[(((triple4) -> rule1))]
("Charlie" "is" "rough" "-")
((triple4) -> (rule1 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Charlie is quiet.
False
2
inv-proof
[(((triple4) -> rule2))]
("Charlie" "is" "quiet" "+")
((triple4) -> (rule2 % int1))
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
int1
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is nice.[(triple3)] Charlie is young.[(triple4)] Erin is big.[(triple5)] Erin is quiet.[(triple6)] Fiona is furry.[(triple7)] @1: Charlie is not quiet.[(((triple4) -> rule2))] Charlie is not rough.[(((triple4) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Erin is big.
("Erin" "is" "big" "+")
triple5
Erin is quiet.
("Erin" "is" "quiet" "+")
triple6
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
((triple4) -> (rule2 % int1))
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
int1
Charlie is not rough.
("Charlie" "is" "rough" "-")
((triple4) -> (rule1 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1