Anne is blue. Anne is not cold. Anne is nice. Anne is smart. Anne is white. Bob is not cold. Bob is smart. Charlie is nice. Charlie is round. Charlie is smart. Charlie is white. Erin is blue. Erin is cold. Erin is nice. Erin is rough. Erin is white. If Anne is not smart then Anne is not blue. If something is nice and not smart then it is cold. If Bob is smart and Bob is cold then Bob is round. If something is nice and not cold then it is rough. If Anne is nice and Anne is not cold then Anne is white. If something is smart and not rough then it is round. All rough, smart things are round. If something is round then it is blue.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is not cold.
("Bob" "is" "cold" "-")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
If Anne is not smart then Anne is not blue.
((("Anne" "is" "smart" "~")) -> ("Anne" "is" "blue" "-"))
If something is nice and not smart then it is cold.
((("something" "is" "nice" "+") ("something" "is" "smart" "~")) -> ("something" "is" "cold" "+"))
If Bob is smart and Bob is cold then Bob is round.
((("Bob" "is" "smart" "+") ("Bob" "is" "cold" "+")) -> ("Bob" "is" "round" "+"))
If something is nice and not cold then it is rough.
((("something" "is" "nice" "+") ("something" "is" "cold" "~")) -> ("something" "is" "rough" "+"))
If Anne is nice and Anne is not cold then Anne is white.
((("Anne" "is" "nice" "+") ("Anne" "is" "cold" "~")) -> ("Anne" "is" "white" "+"))
If something is smart and not rough then it is round.
((("something" "is" "smart" "+") ("something" "is" "rough" "~")) -> ("something" "is" "round" "+"))
All rough, smart things are round.
((("something" "is" "rough" "+") ("something" "is" "smart" "+")) -> ("something" "is" "round" "+"))
If something is round then it is blue.
((("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
Erin is nice.
True
1
proof
[(triple14)]
("Erin" "is" "nice" "+")
triple14
Anne is not white.
False
1
inv-proof
[(triple5 OR ((triple3 triple2) -> rule5))]
("Anne" "is" "white" "-")
triple5
((triple3 triple2) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Charlie is blue.
True
2
proof
[(((triple9) -> rule8))]
("Charlie" "is" "blue" "+")
((triple9) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Anne is not rough.
False
3
inv-proof
[(((triple3 triple2) -> rule4))]
("Anne" "is" "rough" "-")
((triple3 triple2) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Bob is not blue.
Unknown
inv-rconc
[@3: Bob is blue.[CWA. Example of deepest failure = (rule8 <- rule7 <- rule4 <- FAIL)]]
("Bob" "is" "blue" "-")
Charlie is cold.
Unknown
rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "cold" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
@0: Anne is blue.[(triple1 OR ((((((triple3 triple2) -> rule4) triple4) -> rule7)) -> rule8))] Anne is nice.[(triple3)] Anne is not cold.[(triple2)] Anne is smart.[(triple4)] Anne is white.[(triple5 OR ((triple3 triple2) -> rule5))] Bob is not cold.[(triple6)] Bob is smart.[(triple7)] Charlie is nice.[(triple8)] Charlie is round.[(triple9)] Charlie is smart.[(triple10)] Charlie is white.[(triple11)] Erin is blue.[(triple12)] Erin is cold.[(triple13)] Erin is nice.[(triple14)] Erin is rough.[(triple15)] Erin is white.[(triple16)] @1: Anne is rough.[(((triple3 triple2) -> rule4))] Charlie is blue.[(((triple9) -> rule8))] @2: Anne is round.[(((((triple3 triple2) -> rule4) triple4) -> rule7))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((((((triple3 triple2) -> (rule4 % int3)) triple4) -> (rule7 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is not cold.
("Anne" "is" "cold" "-")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
((triple3 triple2) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Bob is not cold.
("Bob" "is" "cold" "-")
triple6
Bob is smart.
("Bob" "is" "smart" "+")
triple7
Charlie is nice.
("Charlie" "is" "nice" "+")
triple8
Charlie is round.
("Charlie" "is" "round" "+")
triple9
Charlie is smart.
("Charlie" "is" "smart" "+")
triple10
Charlie is white.
("Charlie" "is" "white" "+")
triple11
Erin is blue.
("Erin" "is" "blue" "+")
triple12
Erin is cold.
("Erin" "is" "cold" "+")
triple13
Erin is nice.
("Erin" "is" "nice" "+")
triple14
Erin is rough.
("Erin" "is" "rough" "+")
triple15
Erin is white.
("Erin" "is" "white" "+")
triple16
Anne is rough.
("Anne" "is" "rough" "+")
((triple3 triple2) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple9) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
((((triple3 triple2) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2