Charlie is cold. Dave is blue. Gary is not cold. Harry is green. All green people are furry. If someone is cold and blue then they are round. If someone is big and blue then they are round. If Harry is round and Harry is not cold then Harry is blue. If Harry is big then Harry is blue. All furry people are not blue. If someone is cold and not furry then they are blue. If someone is cold and not blue then they are red.
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
Harry is green.
("Harry" "is" "green" "+")
All green people are furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
If someone is cold and blue then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is big and blue then they are round.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If Harry is round and Harry is not cold then Harry is blue.
((("Harry" "is" "round" "+") ("Harry" "is" "cold" "~")) -> ("Harry" "is" "blue" "+"))
If Harry is big then Harry is blue.
((("Harry" "is" "big" "+")) -> ("Harry" "is" "blue" "+"))
All furry people are not blue.
((("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "-"))
If someone is cold and not furry then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "blue" "+"))
If someone is cold and not blue then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "red" "+"))
Harry is green.
True
1
proof
[(triple4)]
("Harry" "is" "green" "+")
triple4
Dave is not blue.
False
1
inv-proof
[(triple2)]
("Dave" "is" "blue" "-")
triple2
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "blue" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Charlie is cold.[(triple1)] Dave is blue.[(triple2)] Gary is not cold.[(triple3)] Harry is green.[(triple4)] @1: Harry is furry.[(((triple4) -> rule1))] @2: Harry is not blue.[(((((triple4) -> rule1)) -> rule6))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Gary is not cold.
("Gary" "is" "cold" "-")
triple3
Harry is green.
("Harry" "is" "green" "+")
triple4
Harry is furry.
("Harry" "is" "furry" "+")
((triple4) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is not blue.
("Harry" "is" "blue" "-")
((((triple4) -> (rule1 % int2))) -> (rule6 % int1))
Harry is not blue.
("Harry" "is" "blue" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2