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