Anne is green. Charlie is young. Erin is kind. Fiona is furry. Furry, smart things are green. If Anne is cold then Anne is red. If Fiona is cold and Fiona is kind then Fiona is smart. All kind things are red. Green, kind things are red. All cold things are smart. If Erin is cold and Erin is smart then Erin is red. Red, furry things are smart.
Anne is green.
("Anne" "is" "green" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Furry, smart things are green.
((("something" "is" "furry" "+") ("something" "is" "smart" "+")) -> ("something" "is" "green" "+"))
If Anne is cold then Anne is red.
((("Anne" "is" "cold" "+")) -> ("Anne" "is" "red" "+"))
If Fiona is cold and Fiona is kind then Fiona is smart.
((("Fiona" "is" "cold" "+") ("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "smart" "+"))
All kind things are red.
((("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
Green, kind things are red.
((("something" "is" "green" "+") ("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
All cold things are smart.
((("something" "is" "cold" "+")) -> ("something" "is" "smart" "+"))
If Erin is cold and Erin is smart then Erin is red.
((("Erin" "is" "cold" "+") ("Erin" "is" "smart" "+")) -> ("Erin" "is" "red" "+"))
Red, furry things are smart.
((("something" "is" "red" "+") ("something" "is" "furry" "+")) -> ("something" "is" "smart" "+"))
Charlie is young.
True
1
proof
[(triple2)]
("Charlie" "is" "young" "+")
triple2
Charlie is not young.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "young" "-")
triple2
Erin is red.
True
2
proof
[(((triple3) -> rule4))]
("Erin" "is" "red" "+")
((triple3) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is not red.
False
2
inv-proof
[(((triple3) -> rule4))]
("Erin" "is" "red" "-")
((triple3) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "green" "-")
Anne is smart.
Unknown
rconc
[@1: Anne is smart.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "smart" "+")
Charlie is not furry.
Unknown
inv-random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
@0: Anne is green.[(triple1)] Charlie is young.[(triple2)] Erin is kind.[(triple3)] Fiona is furry.[(triple4)] @1: Erin is red.[(((triple3) -> rule4))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Erin is kind.
("Erin" "is" "kind" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4
Erin is red.
("Erin" "is" "red" "+")
((triple3) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1