Anne is cold. Anne is green. Anne is not quiet. Anne is round. Anne is smart. Bob is cold. Bob is green. Bob is not kind. Bob is quiet. Bob is round. Erin is kind. Erin is quiet. Erin is smart. Fiona is cold. Fiona is green. Fiona is rough. If Erin is smart and Erin is kind then Erin is green. All rough, green people are kind. All green people are cold.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is not quiet.
("Anne" "is" "quiet" "-")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
If Erin is smart and Erin is kind then Erin is green.
((("Erin" "is" "smart" "+") ("Erin" "is" "kind" "+")) -> ("Erin" "is" "green" "+"))
All rough, green people are kind.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
All green people are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Fiona is cold.
True
1
proof
[(triple14 OR ((triple15) -> rule3))]
("Fiona" "is" "cold" "+")
triple14
((triple15) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Bob is not round.
False
1
inv-proof
[(triple10)]
("Bob" "is" "round" "-")
triple10
Fiona is kind.
True
3
proof
[(((triple16 triple15) -> rule2))]
("Fiona" "is" "kind" "+")
((triple16 triple15) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not kind.
False
3
inv-proof
[(((triple16 triple15) -> rule2))]
("Fiona" "is" "kind" "-")
((triple16 triple15) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Erin is cold.
True
4
proof
[(((((triple13 triple11) -> rule1)) -> rule3))]
("Erin" "is" "cold" "+")
((((triple13 triple11) -> (rule1 % int2))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is not cold.
False
4
inv-proof
[(((((triple13 triple11) -> rule1)) -> rule3))]
("Erin" "is" "cold" "-")
((((triple13 triple11) -> (rule1 % int2))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Anne is not kind.
Unknown
inv-rconc
[@1: Anne is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "kind" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
Erin is not rough.
Unknown
inv-random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Anne is cold.[(triple1 OR ((triple2) -> rule3))] Anne is green.[(triple2)] Anne is not quiet.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5)] Bob is cold.[(triple6 OR ((triple7) -> rule3))] Bob is green.[(triple7)] Bob is not kind.[(triple8)] Bob is quiet.[(triple9)] Bob is round.[(triple10)] Erin is kind.[(triple11)] Erin is quiet.[(triple12)] Erin is smart.[(triple13)] Fiona is cold.[(triple14 OR ((triple15) -> rule3))] Fiona is green.[(triple15)] Fiona is rough.[(triple16)] @1: Erin is green.[(((triple13 triple11) -> rule1))] Fiona is kind.[(((triple16 triple15) -> rule2))] @2: Erin is cold.[(((((triple13 triple11) -> rule1)) -> rule3))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((triple2) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple6
((triple7) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
triple7
Bob is not kind.
("Bob" "is" "kind" "-")
triple8
Bob is quiet.
("Bob" "is" "quiet" "+")
triple9
Bob is round.
("Bob" "is" "round" "+")
triple10
Erin is kind.
("Erin" "is" "kind" "+")
triple11
Erin is quiet.
("Erin" "is" "quiet" "+")
triple12
Erin is smart.
("Erin" "is" "smart" "+")
triple13
Fiona is cold.
("Fiona" "is" "cold" "+")
triple14
((triple15) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple15
Fiona is rough.
("Fiona" "is" "rough" "+")
triple16
Erin is green.
("Erin" "is" "green" "+")
((triple13 triple11) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple16 triple15) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((((triple13 triple11) -> (rule1 % int2))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2