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