Anne is cold. Anne is furry. Anne is rough. Anne is round. Charlie is cold. Charlie is furry. Fiona is rough. Gary is blue. Gary is cold. Gary is furry. Gary is green. Gary is round. All rough, cold people are round. Cold people are rough.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is round.
("Gary" "is" "round" "+")
All rough, cold people are round.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
Cold people are rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
Charlie is furry.
True
1
proof
[(triple6)]
("Charlie" "is" "furry" "+")
triple6
Gary is not green.
False
1
inv-proof
[(triple11)]
("Gary" "is" "green" "-")
triple11
Charlie is rough.
True
2
proof
[(((triple5) -> rule2))]
("Charlie" "is" "rough" "+")
((triple5) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Gary is not rough.
False
2
inv-proof
[(((triple9) -> rule2))]
("Gary" "is" "rough" "-")
((triple9) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Charlie is round.
True
4
proof
[(((((triple5) -> rule2) triple5) -> rule1))]
("Charlie" "is" "round" "+")
((((triple5) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is not round.
False
4
inv-proof
[(((((triple5) -> rule2) triple5) -> rule1))]
("Charlie" "is" "round" "-")
((((triple5) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "round" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is rough.[(triple3 OR ((triple1) -> rule2))] Anne is round.[(triple4 OR ((triple3 triple1) -> rule1) OR ((((triple1) -> rule2) triple1) -> rule1))] Charlie is cold.[(triple5)] Charlie is furry.[(triple6)] Fiona is rough.[(triple7)] Gary is blue.[(triple8)] Gary is cold.[(triple9)] Gary is furry.[(triple10)] Gary is green.[(triple11)] Gary is round.[(triple12 OR ((((triple9) -> rule2) triple9) -> rule1))] @1: Charlie is rough.[(((triple5) -> rule2))] Gary is rough.[(((triple9) -> rule2))] @2: Charlie is round.[(((((triple5) -> rule2) triple5) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
((triple1) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
triple4
((triple3 triple1) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is furry.
("Charlie" "is" "furry" "+")
triple6
Fiona is rough.
("Fiona" "is" "rough" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is furry.
("Gary" "is" "furry" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple12
((((triple9) -> (rule2 % int2)) triple9) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple5) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple9) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((((triple5) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2