Anne is big. Anne is cold. Anne is furry. Anne is round. Charlie is cold. Dave is not big. Dave is cold. Erin is furry. Erin is nice. Erin is not round. All big things are rough. If something is nice then it is cold. If something is round and rough then it is young.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is round.
("Anne" "is" "round" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is not big.
("Dave" "is" "big" "-")
Dave is cold.
("Dave" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is not round.
("Erin" "is" "round" "-")
All big things are rough.
((("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
If something is nice then it is cold.
((("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
If something is round and rough then it is young.
((("something" "is" "round" "+") ("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
Anne is furry.
True
1
proof
[(triple3)]
("Anne" "is" "furry" "+")
triple3
Dave is big.
False
1
inv-proof
[(triple6)]
("Dave" "is" "big" "+")
triple6
Erin is cold.
True
2
proof
[(((triple9) -> rule2))]
("Erin" "is" "cold" "+")
((triple9) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not cold.
False
2
inv-proof
[(((triple9) -> rule2))]
("Erin" "is" "cold" "-")
((triple9) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Anne is young.
True
4
proof
[(((triple4 ((triple1) -> rule1)) -> rule3))]
("Anne" "is" "young" "+")
((triple4 ((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is not young.
False
4
inv-proof
[(((triple4 ((triple1) -> rule1)) -> rule3))]
("Anne" "is" "young" "-")
((triple4 ((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Erin is not rough.
Unknown
inv-rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "rough" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "rough" "+")
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "young" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is round.[(triple4)] Charlie is cold.[(triple5)] Dave is cold.[(triple7)] Dave is not big.[(triple6)] Erin is furry.[(triple8)] Erin is nice.[(triple9)] Erin is not round.[(triple10)] @1: Anne is rough.[(((triple1) -> rule1))] Erin is cold.[(((triple9) -> rule2))] @2: Anne is young.[(((triple4 ((triple1) -> rule1)) -> rule3))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is not big.
("Dave" "is" "big" "-")
triple6
Erin is furry.
("Erin" "is" "furry" "+")
triple8
Erin is nice.
("Erin" "is" "nice" "+")
triple9
Erin is not round.
("Erin" "is" "round" "-")
triple10
Anne is rough.
("Anne" "is" "rough" "+")
((triple1) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((triple9) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
((triple4 ((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2