Charlie is rough. Charlie is white. Erin is not kind. Harry is blue. Harry is rough. Harry is white. Harry is young. Red, rough people are blue. Rough, young people are blue. If Harry is not young then Harry is quiet. If Erin is kind and Erin is quiet then Erin is young. All young people are not kind. If someone is quiet then they are red.
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is not kind.
("Erin" "is" "kind" "-")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
Red, rough people are blue.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
Rough, young people are blue.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If Harry is not young then Harry is quiet.
((("Harry" "is" "young" "~")) -> ("Harry" "is" "quiet" "+"))
If Erin is kind and Erin is quiet then Erin is young.
((("Erin" "is" "kind" "+") ("Erin" "is" "quiet" "+")) -> ("Erin" "is" "young" "+"))
All young people are not kind.
((("someone" "is" "young" "+")) -> ("someone" "is" "kind" "-"))
If someone is quiet then they are red.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "red" "+"))
Erin is not kind.
True
1
proof
[(triple3)]
("Erin" "is" "kind" "-")
triple3
Harry is not young.
False
1
inv-proof
[(triple7)]
("Harry" "is" "young" "-")
triple7
Harry is not kind.
True
2
proof
[(((triple7) -> rule5))]
("Harry" "is" "kind" "-")
((triple7) -> (rule5 % int1))
Harry is not kind.
("Harry" "is" "kind" "-")
int1
Harry is kind.
False
2
inv-proof
[(((triple7) -> rule5))]
("Harry" "is" "kind" "+")
((triple7) -> (rule5 % int1))
Harry is not kind.
("Harry" "is" "kind" "-")
int1
Erin is not blue.
Unknown
inv-rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "blue" "-")
Charlie is red.
Unknown
rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "red" "+")
Charlie is not quiet.
Unknown
inv-random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Charlie is rough.[(triple1)] Charlie is white.[(triple2)] Erin is not kind.[(triple3)] Harry is blue.[(triple4 OR ((triple5 triple7) -> rule2))] Harry is rough.[(triple5)] Harry is white.[(triple6)] Harry is young.[(triple7)] @1: Harry is not kind.[(((triple7) -> rule5))]
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Charlie is white.
("Charlie" "is" "white" "+")
triple2
Erin is not kind.
("Erin" "is" "kind" "-")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple4
((triple5 triple7) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
triple5
Harry is white.
("Harry" "is" "white" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple7
Harry is not kind.
("Harry" "is" "kind" "-")
((triple7) -> (rule5 % int1))
Harry is not kind.
("Harry" "is" "kind" "-")
int1