Charlie is round. Erin is round. If something is furry then it is quiet. If something is furry then it is white. All cold things are quiet.
Charlie is round.
("Charlie" "is" "round" "+")
Erin is round.
("Erin" "is" "round" "+")
If something is furry then it is quiet.
((("something" "is" "furry" "+")) -> ("something" "is" "quiet" "+"))
If something is furry then it is white.
((("something" "is" "furry" "+")) -> ("something" "is" "white" "+"))
All cold things are quiet.
((("something" "is" "cold" "+")) -> ("something" "is" "quiet" "+"))
Erin is round.
True
1
proof
[(triple2)]
("Erin" "is" "round" "+")
triple2
Erin is not round.
False
1
inv-proof
[(triple2)]
("Erin" "is" "round" "-")
triple2
Charlie is not white.
Unknown
inv-rconc
[@1: Charlie is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "white" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Charlie is round.[(triple1)] Erin is round.[(triple2)]
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Erin is round.
("Erin" "is" "round" "+")
triple2