Charlie is quiet. Erin is kind. Harry is young. If Erin is big then Erin is quiet. If something is big and not kind then it is not blue. All quiet things are rough.
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Harry is young.
("Harry" "is" "young" "+")
If Erin is big then Erin is quiet.
((("Erin" "is" "big" "+")) -> ("Erin" "is" "quiet" "+"))
If something is big and not kind then it is not blue.
((("something" "is" "big" "+") ("something" "is" "kind" "~")) -> ("something" "is" "blue" "-"))
All quiet things are rough.
((("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
Erin is kind.
True
1
proof
[(triple2)]
("Erin" "is" "kind" "+")
triple2
Charlie is not quiet.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "quiet" "-")
triple1
Charlie is rough.
True
2
proof
[(((triple1) -> rule3))]
("Charlie" "is" "rough" "+")
((triple1) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not rough.
False
2
inv-proof
[(((triple1) -> rule3))]
("Charlie" "is" "rough" "-")
((triple1) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Erin is not quiet.
Unknown
inv-rconc
[@1: Erin is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "quiet" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "rough" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
@0: Charlie is quiet.[(triple1)] Erin is kind.[(triple2)] Harry is young.[(triple3)] @1: Charlie is rough.[(((triple1) -> rule3))]
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Harry is young.
("Harry" "is" "young" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple1) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1