Anne is red. Anne is white. Anne is young. Charlie is furry. Charlie is quiet. Charlie is red. Erin is furry. Erin is nice. Erin is red. Erin is young. Fiona is furry. Fiona is young. Kind, red things are white. If something is kind then it is young. If something is white and quiet then it is kind. If Erin is white then Erin is red. Red, furry things are nice. All furry things are nice.
Anne is red.
("Anne" "is" "red" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Kind, red things are white.
((("something" "is" "kind" "+") ("something" "is" "red" "+")) -> ("something" "is" "white" "+"))
If something is kind then it is young.
((("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
If something is white and quiet then it is kind.
((("something" "is" "white" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "kind" "+"))
If Erin is white then Erin is red.
((("Erin" "is" "white" "+")) -> ("Erin" "is" "red" "+"))
Red, furry things are nice.
((("something" "is" "red" "+") ("something" "is" "furry" "+")) -> ("something" "is" "nice" "+"))
All furry things are nice.
((("something" "is" "furry" "+")) -> ("something" "is" "nice" "+"))
Fiona is furry.
True
1
proof
[(triple11)]
("Fiona" "is" "furry" "+")
triple11
Erin is not young.
False
1
inv-proof
[(triple10)]
("Erin" "is" "young" "-")
triple10
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Anne is red.[(triple1)] Anne is white.[(triple2)] Anne is young.[(triple3)] Charlie is furry.[(triple4)] Charlie is quiet.[(triple5)] Charlie is red.[(triple6)] Erin is furry.[(triple7)] Erin is nice.[(triple8 OR ((triple7) -> rule6) OR ((triple9 triple7) -> rule5))] Erin is red.[(triple9)] Erin is young.[(triple10)] Fiona is furry.[(triple11)] Fiona is young.[(triple12)] @1: Charlie is nice.[(((triple4) -> rule6) OR ((triple6 triple4) -> rule5))] Fiona is nice.[(((triple11) -> rule6))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Charlie is furry.
("Charlie" "is" "furry" "+")
triple4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple6
Erin is furry.
("Erin" "is" "furry" "+")
triple7
Erin is nice.
("Erin" "is" "nice" "+")
triple8
((triple7) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((triple9 triple7) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
triple9
Erin is young.
("Erin" "is" "young" "+")
triple10
Fiona is furry.
("Fiona" "is" "furry" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple4) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple6 triple4) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple11) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1