Anne is cold. Anne is kind. Anne is nice. Anne is quiet. Anne is round. Dave is cold. Dave is kind. Dave is round. Dave is white. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is round. Fiona is white. Harry is white. Cold, round things are quiet.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is white.
("Harry" "is" "white" "+")
Cold, round things are quiet.
((("something" "is" "cold" "+") ("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
Anne is kind.
True
1
proof
[(triple2)]
("Anne" "is" "kind" "+")
triple2
Dave is not round.
False
1
inv-proof
[(triple8)]
("Dave" "is" "round" "-")
triple8
Fiona is quiet.
True
3
proof
[(((triple10 triple13) -> rule1))]
("Fiona" "is" "quiet" "+")
((triple10 triple13) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is not quiet.
False
3
inv-proof
[(((triple10 triple13) -> rule1))]
("Fiona" "is" "quiet" "-")
((triple10 triple13) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Harry is not quiet.
Unknown
inv-rconc
[@1: Harry is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "quiet" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4 OR ((triple1 triple5) -> rule1))] Anne is round.[(triple5)] Dave is cold.[(triple6)] Dave is kind.[(triple7)] Dave is round.[(triple8)] Dave is white.[(triple9)] Fiona is cold.[(triple10)] Fiona is kind.[(triple11)] Fiona is nice.[(triple12)] Fiona is round.[(triple13)] Fiona is white.[(triple14)] Harry is white.[(triple15)] @1: Dave is quiet.[(((triple6 triple8) -> rule1))] Fiona is quiet.[(((triple10 triple13) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
((triple1 triple5) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple8
Dave is white.
("Dave" "is" "white" "+")
triple9
Fiona is cold.
("Fiona" "is" "cold" "+")
triple10
Fiona is kind.
("Fiona" "is" "kind" "+")
triple11
Fiona is nice.
("Fiona" "is" "nice" "+")
triple12
Fiona is round.
("Fiona" "is" "round" "+")
triple13
Fiona is white.
("Fiona" "is" "white" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple6 triple8) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple10 triple13) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1