Erin is young. All young things are furry. Young things are furry. Young things are nice. If something is quiet then it is kind. All nice things are quiet. All nice, big things are round.
Erin is young.
("Erin" "is" "young" "+")
All young things are furry.
((("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
Young things are furry.
((("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
Young things are nice.
((("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
If something is quiet then it is kind.
((("something" "is" "quiet" "+")) -> ("something" "is" "kind" "+"))
All nice things are quiet.
((("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
All nice, big things are round.
((("something" "is" "nice" "+") ("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
Erin is young.
True
1
proof
[(triple1)]
("Erin" "is" "young" "+")
triple1
Erin is not young.
False
1
inv-proof
[(triple1)]
("Erin" "is" "young" "-")
triple1
Erin is furry.
True
2
proof
[(((triple1) -> rule1) OR ((triple1) -> rule2))]
("Erin" "is" "furry" "+")
((triple1) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((triple1) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is not furry.
False
2
inv-proof
[(((triple1) -> rule1) OR ((triple1) -> rule2))]
("Erin" "is" "furry" "-")
((triple1) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((triple1) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is not round.
Unknown
inv-rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Erin" "is" "round" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Erin is young.[(triple1)] @1: Erin is furry.[(((triple1) -> rule1) OR ((triple1) -> rule2))] Erin is nice.[(((triple1) -> rule3))] @2: Erin is quiet.[(((((triple1) -> rule3)) -> rule5))] @3: Erin is kind.[(((((((triple1) -> rule3)) -> rule5)) -> rule4))]
Erin is young.
("Erin" "is" "young" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
((triple1) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((triple1) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
((triple1) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
((((((triple1) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3