Anne is quiet. Anne is red. Anne is round. Anne is white. Bob is cold. Bob is quiet. Charlie is green. Charlie is quiet. Charlie is smart. Fiona is green. If something is green and white then it is quiet. White, red things are cold.
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is green.
("Fiona" "is" "green" "+")
If something is green and white then it is quiet.
((("something" "is" "green" "+") ("something" "is" "white" "+")) -> ("something" "is" "quiet" "+"))
White, red things are cold.
((("something" "is" "white" "+") ("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
Fiona is green.
True
1
proof
[(triple10)]
("Fiona" "is" "green" "+")
triple10
Charlie is not smart.
False
1
inv-proof
[(triple9)]
("Charlie" "is" "smart" "-")
triple9
Anne is cold.
True
3
proof
[(((triple4 triple2) -> rule2))]
("Anne" "is" "cold" "+")
((triple4 triple2) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is not cold.
False
3
inv-proof
[(((triple4 triple2) -> rule2))]
("Anne" "is" "cold" "-")
((triple4 triple2) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Fiona is not cold.
Unknown
inv-rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "cold" "-")
Charlie is cold.
Unknown
rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "cold" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Anne is quiet.[(triple1)] Anne is red.[(triple2)] Anne is round.[(triple3)] Anne is white.[(triple4)] Bob is cold.[(triple5)] Bob is quiet.[(triple6)] Charlie is green.[(triple7)] Charlie is quiet.[(triple8)] Charlie is smart.[(triple9)] Fiona is green.[(triple10)] @1: Anne is cold.[(((triple4 triple2) -> rule2))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is quiet.
("Bob" "is" "quiet" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple7
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple8
Charlie is smart.
("Charlie" "is" "smart" "+")
triple9
Fiona is green.
("Fiona" "is" "green" "+")
triple10
Anne is cold.
("Anne" "is" "cold" "+")
((triple4 triple2) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1