Anne is furry. Erin is nice. Gary is smart. Harry is smart. Smart people are blue. All nice, quiet people are kind. Nice people are blue.
Anne is furry.
("Anne" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Smart people are blue.
((("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "+"))
All nice, quiet people are kind.
((("someone" "is" "nice" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
Nice people are blue.
((("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
Erin is nice.
True
1
proof
[(triple2)]
("Erin" "is" "nice" "+")
triple2
Erin is not nice.
False
1
inv-proof
[(triple2)]
("Erin" "is" "nice" "-")
triple2
Anne is not kind.
Unknown
inv-rconc
[@1: Anne is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "kind" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Anne is furry.[(triple1)] Erin is nice.[(triple2)] Gary is smart.[(triple3)] Harry is smart.[(triple4)] @1: Erin is blue.[(((triple2) -> rule3))] Gary is blue.[(((triple3) -> rule1))] Harry is blue.[(((triple4) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Erin is nice.
("Erin" "is" "nice" "+")
triple2
Gary is smart.
("Gary" "is" "smart" "+")
triple3
Harry is smart.
("Harry" "is" "smart" "+")
triple4
Erin is blue.
("Erin" "is" "blue" "+")
((triple2) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple3) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple4) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1