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