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