Anne is round. Bob is blue. Erin is not white. Gary is blue. If someone is blue and not furry then they are big. White people are big. All furry people are not big. Nice, furry people are round. If someone is nice and white then they are round. If someone is furry and not white then they are blue. If Erin is round and Erin is not furry then Erin is big. All round people are nice.
Anne is round.
("Anne" "is" "round" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Erin is not white.
("Erin" "is" "white" "-")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is blue and not furry then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "big" "+"))
White people are big.
((("someone" "is" "white" "+")) -> ("someone" "is" "big" "+"))
All furry people are not big.
((("someone" "is" "furry" "+")) -> ("someone" "is" "big" "-"))
Nice, furry people are round.
((("someone" "is" "nice" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and white then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
If someone is furry and not white then they are blue.
((("someone" "is" "furry" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "blue" "+"))
If Erin is round and Erin is not furry then Erin is big.
((("Erin" "is" "round" "+") ("Erin" "is" "furry" "~")) -> ("Erin" "is" "big" "+"))
All round people are nice.
((("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Bob is blue.
True
1
proof
[(triple2)]
("Bob" "is" "blue" "+")
triple2
Anne is not round.
False
1
inv-proof
[(triple1)]
("Anne" "is" "round" "-")
triple1
Anne is nice.
True
2
proof
[(((triple1) -> rule8))]
("Anne" "is" "nice" "+")
((triple1) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is not nice.
False
2
inv-proof
[(((triple1) -> rule8))]
("Anne" "is" "nice" "-")
((triple1) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "round" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "round" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
@0: Anne is round.[(triple1)] Bob is blue.[(triple2)] Erin is not white.[(triple3)] Gary is blue.[(triple4)] @1: Anne is nice.[(((triple1) -> rule8))]
Anne is round.
("Anne" "is" "round" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Erin is not white.
("Erin" "is" "white" "-")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple4
Anne is nice.
("Anne" "is" "nice" "+")
((triple1) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1