Charlie is blue. Dave is big. Erin is blue. Gary is red. Red things are kind. All big, red things are kind. If something is blue then it is not kind. If something is kind and not cold then it is blue. If Charlie is furry then Charlie is not kind. Furry things are red. White things are furry. All blue, white things are not big.
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Red things are kind.
((("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
All big, red things are kind.
((("something" "is" "big" "+") ("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
If something is blue then it is not kind.
((("something" "is" "blue" "+")) -> ("something" "is" "kind" "-"))
If something is kind and not cold then it is blue.
((("something" "is" "kind" "+") ("something" "is" "cold" "~")) -> ("something" "is" "blue" "+"))
If Charlie is furry then Charlie is not kind.
((("Charlie" "is" "furry" "+")) -> ("Charlie" "is" "kind" "-"))
Furry things are red.
((("something" "is" "furry" "+")) -> ("something" "is" "red" "+"))
White things are furry.
((("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
All blue, white things are not big.
((("something" "is" "blue" "+") ("something" "is" "white" "+")) -> ("something" "is" "big" "-"))
Erin is blue.
True
1
proof
[(triple3)]
("Erin" "is" "blue" "+")
triple3
Charlie is not blue.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "blue" "-")
triple1
Erin is not furry.
Unknown
inv-rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Erin" "is" "furry" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Charlie is blue.[(triple1)] Dave is big.[(triple2)] Erin is blue.[(triple3)] Gary is red.[(triple4)] @1: Charlie is not kind.[(((triple1) -> rule3))] Erin is not kind.[(((triple3) -> rule3))] Gary is kind.[(((triple4) -> rule1))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple2
Erin is blue.
("Erin" "is" "blue" "+")
triple3
Gary is red.
("Gary" "is" "red" "+")
triple4
Charlie is not kind.
("Charlie" "is" "kind" "-")
((triple1) -> (rule3 % int1))
Charlie is not kind.
("Charlie" "is" "kind" "-")
int1
Erin is not kind.
("Erin" "is" "kind" "-")
((triple3) -> (rule3 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple4) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1