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