Charlie is not big. Charlie is blue. Charlie is not cold. Charlie is furry. Charlie is red. Charlie is round. Charlie is not smart. Dave is red. Dave is smart. Fiona is blue. Fiona is not cold. Fiona is furry. Gary is cold. Gary is red. Gary is round. Gary is smart. If someone is cold and not smart then they are red. If someone is round and not smart then they are blue.
Charlie is not big.
("Charlie" "is" "big" "-")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is not cold.
("Charlie" "is" "cold" "-")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is not smart.
("Charlie" "is" "smart" "-")
Dave is red.
("Dave" "is" "red" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If someone is cold and not smart then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "red" "+"))
If someone is round and not smart then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "blue" "+"))
Charlie is round.
True
1
proof
[(triple6)]
("Charlie" "is" "round" "+")
triple6
Dave is not red.
False
1
inv-proof
[(triple8)]
("Dave" "is" "red" "-")
triple8
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "blue" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
@0: Charlie is blue.[(triple2 OR ((triple6 triple7) -> rule2))] Charlie is furry.[(triple4)] Charlie is not big.[(triple1)] Charlie is not cold.[(triple3)] Charlie is not smart.[(triple7)] Charlie is red.[(triple5)] Charlie is round.[(triple6)] Dave is red.[(triple8)] Dave is smart.[(triple9)] Fiona is blue.[(triple10)] Fiona is furry.[(triple12)] Fiona is not cold.[(triple11)] Gary is cold.[(triple13)] Gary is red.[(triple14)] Gary is round.[(triple15)] Gary is smart.[(triple16)]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
((triple6 triple7) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple4
Charlie is not big.
("Charlie" "is" "big" "-")
triple1
Charlie is not cold.
("Charlie" "is" "cold" "-")
triple3
Charlie is not smart.
("Charlie" "is" "smart" "-")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is smart.
("Dave" "is" "smart" "+")
triple9
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
Fiona is furry.
("Fiona" "is" "furry" "+")
triple12
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple11
Gary is cold.
("Gary" "is" "cold" "+")
triple13
Gary is red.
("Gary" "is" "red" "+")
triple14
Gary is round.
("Gary" "is" "round" "+")
triple15
Gary is smart.
("Gary" "is" "smart" "+")
triple16