Erin is nice. Harry is not cold. Blue people are not green. Young people are green. All young people are cold. All white people are cold. Green people are blue. If someone is green and not young then they are blue. All nice people are blue. If someone is cold then they are furry.
Erin is nice.
("Erin" "is" "nice" "+")
Harry is not cold.
("Harry" "is" "cold" "-")
Blue people are not green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "-"))
Young people are green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
All young people are cold.
((("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
All white people are cold.
((("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
Green people are blue.
((("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and not young then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "blue" "+"))
All nice people are blue.
((("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold then they are furry.
((("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
Erin is nice.
True
1
proof
[(triple1)]
("Erin" "is" "nice" "+")
triple1
Erin is not nice.
False
1
inv-proof
[(triple1)]
("Erin" "is" "nice" "-")
triple1
Harry is not blue.
Unknown
inv-rconc
[@2: Harry is blue.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Harry" "is" "blue" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Erin is nice.[(triple1)] Harry is not cold.[(triple2)] @1: Erin is blue.[(((triple1) -> rule7))] @2: Erin is not green.[(((((triple1) -> rule7)) -> rule1))]
Erin is nice.
("Erin" "is" "nice" "+")
triple1
Harry is not cold.
("Harry" "is" "cold" "-")
triple2
Erin is blue.
("Erin" "is" "blue" "+")
((triple1) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is not green.
("Erin" "is" "green" "-")
((((triple1) -> (rule7 % int2))) -> (rule1 % int1))
Erin is not green.
("Erin" "is" "green" "-")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2