Anne is green. Anne is kind. Anne is quiet. Anne is round. Bob is kind. Erin is cold. Erin is furry. Erin is green. Erin is not quiet. Fiona is green. Fiona is kind. Fiona is quiet. If Anne is round then Anne is kind. If Anne is quiet and Anne is not smart then Anne is furry. All quiet, cold people are round. All smart people are kind. If someone is kind and not green then they are not cold. Kind, quiet people are furry.
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
If Anne is round then Anne is kind.
((("Anne" "is" "round" "+")) -> ("Anne" "is" "kind" "+"))
If Anne is quiet and Anne is not smart then Anne is furry.
((("Anne" "is" "quiet" "+") ("Anne" "is" "smart" "~")) -> ("Anne" "is" "furry" "+"))
All quiet, cold people are round.
((("someone" "is" "quiet" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
All smart people are kind.
((("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and not green then they are not cold.
((("someone" "is" "kind" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "cold" "-"))
Kind, quiet people are furry.
((("someone" "is" "kind" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
Fiona is green.
True
1
proof
[(triple10)]
("Fiona" "is" "green" "+")
triple10
Anne is not round.
False
1
inv-proof
[(triple4)]
("Anne" "is" "round" "-")
triple4
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "round" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is green.[(triple1)] Anne is kind.[(triple2 OR ((triple4) -> rule1))] Anne is quiet.[(triple3)] Anne is round.[(triple4)] Bob is kind.[(triple5)] Erin is cold.[(triple6)] Erin is furry.[(triple7)] Erin is green.[(triple8)] Erin is not quiet.[(triple9)] Fiona is green.[(triple10)] Fiona is kind.[(triple11)] Fiona is quiet.[(triple12)] @1: Anne is furry.[(((triple2 triple3) -> rule6) OR ((((triple4) -> rule1) triple3) -> rule6))] Fiona is furry.[(((triple11 triple12) -> rule6))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
((triple4) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Erin is cold.
("Erin" "is" "cold" "+")
triple6
Erin is furry.
("Erin" "is" "furry" "+")
triple7
Erin is green.
("Erin" "is" "green" "+")
triple8
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple9
Fiona is green.
("Fiona" "is" "green" "+")
triple10
Fiona is kind.
("Fiona" "is" "kind" "+")
triple11
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple12
Anne is furry.
("Anne" "is" "furry" "+")
((triple2 triple3) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((((triple4) -> (rule1 % int2)) triple3) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple11 triple12) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1