Anne is big. Anne is quiet. Anne is rough. Anne is white. Charlie is cold. Charlie is furry. Charlie is rough. Charlie is round. Erin is big. Erin is rough. Gary is big. Gary is furry. Gary is quiet. Gary is round. Gary is white. Quiet things are big. All white things are furry. Furry, quiet things are round.
Anne is big.
("Anne" "is" "big" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Quiet things are big.
((("something" "is" "quiet" "+")) -> ("something" "is" "big" "+"))
All white things are furry.
((("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
Furry, quiet things are round.
((("something" "is" "furry" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
Charlie is rough.
True
1
proof
[(triple7)]
("Charlie" "is" "rough" "+")
triple7
Charlie is not rough.
False
1
inv-proof
[(triple7)]
("Charlie" "is" "rough" "-")
triple7
Anne is furry.
True
2
proof
[(((triple4) -> rule2))]
("Anne" "is" "furry" "+")
((triple4) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not furry.
False
2
inv-proof
[(((triple4) -> rule2))]
("Anne" "is" "furry" "-")
((triple4) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
True
4
proof
[(((((triple4) -> rule2) triple2) -> rule3))]
("Anne" "is" "round" "+")
((((triple4) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is not round.
False
4
inv-proof
[(((((triple4) -> rule2) triple2) -> rule3))]
("Anne" "is" "round" "-")
((((triple4) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Erin is not furry.
Unknown
inv-rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "furry" "-")
Erin is round.
Unknown
rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "round" "+")
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "big" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Anne is big.[(triple1 OR ((triple2) -> rule1))] Anne is quiet.[(triple2)] Anne is rough.[(triple3)] Anne is white.[(triple4)] Charlie is cold.[(triple5)] Charlie is furry.[(triple6)] Charlie is rough.[(triple7)] Charlie is round.[(triple8)] Erin is big.[(triple9)] Erin is rough.[(triple10)] Gary is big.[(triple11 OR ((triple13) -> rule1))] Gary is furry.[(triple12 OR ((triple15) -> rule2))] Gary is quiet.[(triple13)] Gary is round.[(triple14 OR ((triple12 triple13) -> rule3) OR ((((triple15) -> rule2) triple13) -> rule3))] Gary is white.[(triple15)] @1: Anne is furry.[(((triple4) -> rule2))] @2: Anne is round.[(((((triple4) -> rule2) triple2) -> rule3))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple2) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is furry.
("Charlie" "is" "furry" "+")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
triple8
Erin is big.
("Erin" "is" "big" "+")
triple9
Erin is rough.
("Erin" "is" "rough" "+")
triple10
Gary is big.
("Gary" "is" "big" "+")
triple11
((triple13) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
triple12
((triple15) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple13
Gary is round.
("Gary" "is" "round" "+")
triple14
((triple12 triple13) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((((triple15) -> (rule2 % int2)) triple13) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
triple15
Anne is furry.
("Anne" "is" "furry" "+")
((triple4) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
((((triple4) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2