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