Anne is not green. Anne is nice. Anne is young. Erin is furry. Erin is green. Erin is not kind. Erin is nice. Fiona is furry. Fiona is green. Fiona is not nice. Harry is kind. Harry is round. If Fiona is furry and Fiona is round then Fiona is white. White, round things are green. If something is round and white then it is nice. All furry, young things are nice. All furry, round things are nice. Green, round things are not young. Kind things are furry. If Erin is kind and Erin is not white then Erin is young.
Anne is not green.
("Anne" "is" "green" "-")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is not kind.
("Erin" "is" "kind" "-")
Erin is nice.
("Erin" "is" "nice" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is round.
("Harry" "is" "round" "+")
If Fiona is furry and Fiona is round then Fiona is white.
((("Fiona" "is" "furry" "+") ("Fiona" "is" "round" "+")) -> ("Fiona" "is" "white" "+"))
White, round things are green.
((("something" "is" "white" "+") ("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
If something is round and white then it is nice.
((("something" "is" "round" "+") ("something" "is" "white" "+")) -> ("something" "is" "nice" "+"))
All furry, young things are nice.
((("something" "is" "furry" "+") ("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
All furry, round things are nice.
((("something" "is" "furry" "+") ("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
Green, round things are not young.
((("something" "is" "green" "+") ("something" "is" "round" "+")) -> ("something" "is" "young" "-"))
Kind things are furry.
((("something" "is" "kind" "+")) -> ("something" "is" "furry" "+"))
If Erin is kind and Erin is not white then Erin is young.
((("Erin" "is" "kind" "+") ("Erin" "is" "white" "~")) -> ("Erin" "is" "young" "+"))
Fiona is furry.
True
1
proof
[(triple8)]
("Fiona" "is" "furry" "+")
triple8
Fiona is not green.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "green" "-")
triple9
Harry is furry.
True
2
proof
[(((triple11) -> rule7))]
("Harry" "is" "furry" "+")
((triple11) -> (rule7 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is not furry.
False
2
inv-proof
[(((triple11) -> rule7))]
("Harry" "is" "furry" "-")
((triple11) -> (rule7 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "green" "-")
Erin is young.
Unknown
rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Erin" "is" "young" "+")
Anne is not round.
Unknown
inv-random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is nice.[(triple2)] Anne is not green.[(triple1)] Anne is young.[(triple3)] Erin is furry.[(triple4)] Erin is green.[(triple5)] Erin is nice.[(triple7)] Erin is not kind.[(triple6)] Fiona is furry.[(triple8)] Fiona is green.[(triple9)] Fiona is not nice.[(triple10)] Harry is kind.[(triple11)] Harry is round.[(triple12)] @1: Harry is furry.[(((triple11) -> rule7))] @2: Harry is nice.[(((((triple11) -> rule7) triple12) -> rule5))]
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is not green.
("Anne" "is" "green" "-")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
triple4
Erin is green.
("Erin" "is" "green" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple7
Erin is not kind.
("Erin" "is" "kind" "-")
triple6
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
Fiona is green.
("Fiona" "is" "green" "+")
triple9
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple12
Harry is furry.
("Harry" "is" "furry" "+")
((triple11) -> (rule7 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((((triple11) -> (rule7 % int2)) triple12) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2