Erin is blue. Erin is green. Erin is quiet. Fiona is furry. Fiona is not green. Fiona is not nice. Fiona is round. If something is nice then it is green. If something is quiet and furry then it is green. Green, blue things are furry. If something is nice and not green then it is round. If something is furry and not blue then it is not round. Green things are white. Round things are not white. If something is round and not quiet then it is white.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is round.
("Fiona" "is" "round" "+")
If something is nice then it is green.
((("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
If something is quiet and furry then it is green.
((("something" "is" "quiet" "+") ("something" "is" "furry" "+")) -> ("something" "is" "green" "+"))
Green, blue things are furry.
((("something" "is" "green" "+") ("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
If something is nice and not green then it is round.
((("something" "is" "nice" "+") ("something" "is" "green" "~")) -> ("something" "is" "round" "+"))
If something is furry and not blue then it is not round.
((("something" "is" "furry" "+") ("something" "is" "blue" "~")) -> ("something" "is" "round" "-"))
Green things are white.
((("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
Round things are not white.
((("something" "is" "round" "+")) -> ("something" "is" "white" "-"))
If something is round and not quiet then it is white.
((("something" "is" "round" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "white" "+"))
Erin is blue.
True
1
proof
[(triple1)]
("Erin" "is" "blue" "+")
triple1
Erin is not blue.
False
1
inv-proof
[(triple1)]
("Erin" "is" "blue" "-")
triple1
Erin is not round.
Unknown
inv-rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "round" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Erin is blue.[(triple1)] Erin is green.[(triple2)] Erin is quiet.[(triple3)] Fiona is furry.[(triple4)] Fiona is not green.[(triple5)] Fiona is not nice.[(triple6)] Fiona is round.[(triple7)] @1: Erin is furry.[(((triple2 triple1) -> rule3))] Erin is white.[(((triple2) -> rule6))] Fiona is not white.[(((triple7) -> rule7))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4
Fiona is not green.
("Fiona" "is" "green" "-")
triple5
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Erin is furry.
("Erin" "is" "furry" "+")
((triple2 triple1) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((triple2) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Fiona is not white.
("Fiona" "is" "white" "-")
((triple7) -> (rule7 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1