Anne is rough. Gary is rough. Harry is green. All young, cold things are rough. All rough things are green. White things are not cold. Rough things are young. Green things are round. Quiet things are round.
Anne is rough.
("Anne" "is" "rough" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
All young, cold things are rough.
((("something" "is" "young" "+") ("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
All rough things are green.
((("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
White things are not cold.
((("something" "is" "white" "+")) -> ("something" "is" "cold" "-"))
Rough things are young.
((("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
Green things are round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
Quiet things are round.
((("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
Harry is green.
True
1
proof
[(triple3)]
("Harry" "is" "green" "+")
triple3
Gary is not rough.
False
1
inv-proof
[(triple2)]
("Gary" "is" "rough" "-")
triple2
Gary is young.
True
2
proof
[(((triple2) -> rule4))]
("Gary" "is" "young" "+")
((triple2) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Anne is not young.
False
2
inv-proof
[(((triple1) -> rule4))]
("Anne" "is" "young" "-")
((triple1) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Gary is round.
True
3
proof
[(((((triple2) -> rule2)) -> rule5))]
("Gary" "is" "round" "+")
((((triple2) -> (rule2 % int2))) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is not round.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule5))]
("Gary" "is" "round" "-")
((((triple2) -> (rule2 % int2))) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "rough" "-")
Harry is young.
Unknown
rconc
[@2: Harry is young.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Harry" "is" "young" "+")
Anne is not white.
Unknown
inv-random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
@0: Anne is rough.[(triple1)] Gary is rough.[(triple2)] Harry is green.[(triple3)] @1: Anne is green.[(((triple1) -> rule2))] Anne is young.[(((triple1) -> rule4))] Gary is green.[(((triple2) -> rule2))] Gary is young.[(((triple2) -> rule4))] Harry is round.[(((triple3) -> rule5))] @2: Anne is round.[(((((triple1) -> rule2)) -> rule5))] Gary is round.[(((((triple2) -> rule2)) -> rule5))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Gary is rough.
("Gary" "is" "rough" "+")
triple2
Harry is green.
("Harry" "is" "green" "+")
triple3
Anne is green.
("Anne" "is" "green" "+")
((triple1) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
((triple1) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple2) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple2) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple3) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
((((triple1) -> (rule2 % int2))) -> (rule5 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((((triple2) -> (rule2 % int2))) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2