Anne is kind. Anne is red. Anne is round. Bob is cold. Bob is not green. Bob is kind. Bob is nice. Bob is quiet. Erin is cold. Erin is nice. Fiona is cold. Fiona is red. Cold people are round.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is not green.
("Bob" "is" "green" "-")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Cold people are round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
Anne is round.
True
1
proof
[(triple3)]
("Anne" "is" "round" "+")
triple3
Bob is not kind.
False
1
inv-proof
[(triple6)]
("Bob" "is" "kind" "-")
triple6
Bob is round.
True
2
proof
[(((triple4) -> rule1))]
("Bob" "is" "round" "+")
((triple4) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Fiona is not round.
False
2
inv-proof
[(((triple11) -> rule1))]
("Fiona" "is" "round" "-")
((triple11) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
Anne is not green.
Unknown
inv-random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is kind.[(triple1)] Anne is red.[(triple2)] Anne is round.[(triple3)] Bob is cold.[(triple4)] Bob is kind.[(triple6)] Bob is nice.[(triple7)] Bob is not green.[(triple5)] Bob is quiet.[(triple8)] Erin is cold.[(triple9)] Erin is nice.[(triple10)] Fiona is cold.[(triple11)] Fiona is red.[(triple12)] @1: Bob is round.[(((triple4) -> rule1))] Erin is round.[(((triple9) -> rule1))] Fiona is round.[(((triple11) -> rule1))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple6
Bob is nice.
("Bob" "is" "nice" "+")
triple7
Bob is not green.
("Bob" "is" "green" "-")
triple5
Bob is quiet.
("Bob" "is" "quiet" "+")
triple8
Erin is cold.
("Erin" "is" "cold" "+")
triple9
Erin is nice.
("Erin" "is" "nice" "+")
triple10
Fiona is cold.
("Fiona" "is" "cold" "+")
triple11
Fiona is red.
("Fiona" "is" "red" "+")
triple12
Bob is round.
("Bob" "is" "round" "+")
((triple4) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple9) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple11) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1