Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is young. Dave is green. Dave is rough. Dave is young. Erin is green. Gary is rough. Gary is round. Round, kind people are cold. If Charlie is rough then Charlie is quiet. If someone is round and young then they are green. If Charlie is quiet then Charlie is green. All round people are quiet. If Erin is quiet and Erin is green then Erin is cold.
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is green.
("Erin" "is" "green" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Round, kind people are cold.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If Charlie is rough then Charlie is quiet.
((("Charlie" "is" "rough" "+")) -> ("Charlie" "is" "quiet" "+"))
If someone is round and young then they are green.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If Charlie is quiet then Charlie is green.
((("Charlie" "is" "quiet" "+")) -> ("Charlie" "is" "green" "+"))
All round people are quiet.
((("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
If Erin is quiet and Erin is green then Erin is cold.
((("Erin" "is" "quiet" "+") ("Erin" "is" "green" "+")) -> ("Erin" "is" "cold" "+"))
Charlie is rough.
True
1
proof
[(triple3)]
("Charlie" "is" "rough" "+")
triple3
Charlie is not kind.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "kind" "-")
triple1
Charlie is green.
True
2
proof
[(((triple2) -> rule4) OR ((((triple3) -> rule2)) -> rule4))]
("Charlie" "is" "green" "+")
((triple2) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((((triple3) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Gary is not quiet.
False
2
inv-proof
[(((triple10) -> rule5))]
("Gary" "is" "quiet" "-")
((triple10) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Erin is not cold.
Unknown
inv-rconc
[@2: Erin is cold.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Erin" "is" "cold" "-")
Dave is cold.
Unknown
rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "cold" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Charlie is kind.[(triple1)] Charlie is quiet.[(triple2 OR ((triple3) -> rule2))] Charlie is rough.[(triple3)] Charlie is young.[(triple4)] Dave is green.[(triple5)] Dave is rough.[(triple6)] Dave is young.[(triple7)] Erin is green.[(triple8)] Gary is rough.[(triple9)] Gary is round.[(triple10)] @1: Charlie is green.[(((triple2) -> rule4) OR ((((triple3) -> rule2)) -> rule4))] Gary is quiet.[(((triple10) -> rule5))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
((triple3) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple7
Erin is green.
("Erin" "is" "green" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple10
Charlie is green.
("Charlie" "is" "green" "+")
((triple2) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((((triple3) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple10) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1