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