Anne is quiet. Bob is round. Erin is furry. Fiona is furry. If someone is kind and young then they are quiet. White, quiet people are furry. If someone is cold and white then they are young. Quiet people are round. All kind people are round. Kind, furry people are white. Furry people are kind. If someone is cold then they are furry.
Anne is quiet.
("Anne" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
If someone is kind and young then they are quiet.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "+"))
White, quiet people are furry.
((("someone" "is" "white" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
If someone is cold and white then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
Quiet people are round.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "round" "+"))
All kind people are round.
((("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
Kind, furry people are white.
((("someone" "is" "kind" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
Furry people are kind.
((("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold then they are furry.
((("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
Fiona is furry.
True
1
proof
[(triple4)]
("Fiona" "is" "furry" "+")
triple4
Erin is not furry.
False
1
inv-proof
[(triple3)]
("Erin" "is" "furry" "-")
triple3
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "young" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is quiet.[(triple1)] Bob is round.[(triple2)] Erin is furry.[(triple3)] Fiona is furry.[(triple4)] @1: Anne is round.[(((triple1) -> rule4))] Erin is kind.[(((triple3) -> rule7))] Fiona is kind.[(((triple4) -> rule7))] @2: Erin is round.[(((((triple3) -> rule7)) -> rule5))] Erin is white.[(((((triple3) -> rule7) triple3) -> rule6))] Fiona is round.[(((((triple4) -> rule7)) -> rule5))] Fiona is white.[(((((triple4) -> rule7) triple4) -> rule6))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Erin is furry.
("Erin" "is" "furry" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4
Anne is round.
("Anne" "is" "round" "+")
((triple1) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((triple3) -> (rule7 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple4) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((((triple3) -> (rule7 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
((((triple3) -> (rule7 % int2)) triple3) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
((((triple4) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
((((triple4) -> (rule7 % int2)) triple4) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2