Dave is blue. Dave is cold. Dave is nice. Fiona is not big. Fiona is blue. Fiona is nice. Fiona is smart. Gary is big. Gary is cold. Gary is smart. Harry is not blue. Harry is smart. If something is big and not quiet then it is cold. Nice, blue things are cold. If something is rough and not big then it is not cold. If something is rough then it is cold. If Gary is rough then Gary is not blue. All nice, big things are rough.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is smart.
("Harry" "is" "smart" "+")
If something is big and not quiet then it is cold.
((("something" "is" "big" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "cold" "+"))
Nice, blue things are cold.
((("something" "is" "nice" "+") ("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
If something is rough and not big then it is not cold.
((("something" "is" "rough" "+") ("something" "is" "big" "~")) -> ("something" "is" "cold" "-"))
If something is rough then it is cold.
((("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
If Gary is rough then Gary is not blue.
((("Gary" "is" "rough" "+")) -> ("Gary" "is" "blue" "-"))
All nice, big things are rough.
((("something" "is" "nice" "+") ("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
Harry is smart.
True
1
proof
[(triple12)]
("Harry" "is" "smart" "+")
triple12
Gary is not cold.
False
1
inv-proof
[(triple9)]
("Gary" "is" "cold" "-")
triple9
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "rough" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2 OR ((triple3 triple1) -> rule2))] Dave is nice.[(triple3)] Fiona is blue.[(triple5)] Fiona is nice.[(triple6)] Fiona is not big.[(triple4)] Fiona is smart.[(triple7)] Gary is big.[(triple8)] Gary is cold.[(triple9)] Gary is smart.[(triple10)] Harry is not blue.[(triple11)] Harry is smart.[(triple12)] @1: Fiona is cold.[(((triple6 triple5) -> rule2))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
((triple3 triple1) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
Fiona is not big.
("Fiona" "is" "big" "-")
triple4
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is smart.
("Gary" "is" "smart" "+")
triple10
Harry is not blue.
("Harry" "is" "blue" "-")
triple11
Harry is smart.
("Harry" "is" "smart" "+")
triple12
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple6 triple5) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1