Erin is furry. Erin is kind. Erin is round. If something is white then it is nice. All furry things are nice. If Erin is white then Erin is furry. If Erin is nice and Erin is round then Erin is smart. If something is round and not furry then it is kind. Smart, kind things are round. All white things are not round. If Erin is smart and Erin is not round then Erin is green.
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is round.
("Erin" "is" "round" "+")
If something is white then it is nice.
((("something" "is" "white" "+")) -> ("something" "is" "nice" "+"))
All furry things are nice.
((("something" "is" "furry" "+")) -> ("something" "is" "nice" "+"))
If Erin is white then Erin is furry.
((("Erin" "is" "white" "+")) -> ("Erin" "is" "furry" "+"))
If Erin is nice and Erin is round then Erin is smart.
((("Erin" "is" "nice" "+") ("Erin" "is" "round" "+")) -> ("Erin" "is" "smart" "+"))
If something is round and not furry then it is kind.
((("something" "is" "round" "+") ("something" "is" "furry" "~")) -> ("something" "is" "kind" "+"))
Smart, kind things are round.
((("something" "is" "smart" "+") ("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
All white things are not round.
((("something" "is" "white" "+")) -> ("something" "is" "round" "-"))
If Erin is smart and Erin is not round then Erin is green.
((("Erin" "is" "smart" "+") ("Erin" "is" "round" "~")) -> ("Erin" "is" "green" "+"))
Erin is kind.
True
1
proof
[(triple2)]
("Erin" "is" "kind" "+")
triple2
Erin is not round.
False
1
inv-proof
[(triple3)]
("Erin" "is" "round" "-")
triple3
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Erin" "is" "green" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Erin is furry.[(triple1)] Erin is kind.[(triple2)] Erin is round.[(triple3)] @1: Erin is nice.[(((triple1) -> rule2))] @2: Erin is smart.[(((((triple1) -> rule2) triple3) -> rule4))]
Erin is furry.
("Erin" "is" "furry" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Erin is round.
("Erin" "is" "round" "+")
triple3
Erin is nice.
("Erin" "is" "nice" "+")
((triple1) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((((triple1) -> (rule2 % int2)) triple3) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2