Anne is cold. Anne is nice. Anne is round. Anne is smart. Bob is cold. Bob is green. Erin is not cold. Erin is green. Erin is red. Erin is round. Erin is smart. Fiona is green. Fiona is red. Fiona is not round. Fiona is not smart. If Erin is nice and Erin is red then Erin is not young. Round things are smart. If Bob is round then Bob is not cold. If Erin is cold then Erin is round. If something is smart and not nice then it is not round. If Fiona is smart and Fiona is not round then Fiona is red. Red things are green. If something is young then it is green.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Erin is not cold.
("Erin" "is" "cold" "-")
Erin is green.
("Erin" "is" "green" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Fiona is not smart.
("Fiona" "is" "smart" "-")
If Erin is nice and Erin is red then Erin is not young.
((("Erin" "is" "nice" "+") ("Erin" "is" "red" "+")) -> ("Erin" "is" "young" "-"))
Round things are smart.
((("something" "is" "round" "+")) -> ("something" "is" "smart" "+"))
If Bob is round then Bob is not cold.
((("Bob" "is" "round" "+")) -> ("Bob" "is" "cold" "-"))
If Erin is cold then Erin is round.
((("Erin" "is" "cold" "+")) -> ("Erin" "is" "round" "+"))
If something is smart and not nice then it is not round.
((("something" "is" "smart" "+") ("something" "is" "nice" "~")) -> ("something" "is" "round" "-"))
If Fiona is smart and Fiona is not round then Fiona is red.
((("Fiona" "is" "smart" "+") ("Fiona" "is" "round" "~")) -> ("Fiona" "is" "red" "+"))
Red things are green.
((("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
If something is young then it is green.
((("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
Fiona is green.
True
1
proof
[(triple12 OR ((triple13) -> rule7))]
("Fiona" "is" "green" "+")
triple12
((triple13) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Anne is not smart.
False
1
inv-proof
[(triple4 OR ((triple3) -> rule2))]
("Anne" "is" "smart" "-")
triple4
((triple3) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Bob is not smart.
Unknown
inv-rconc
[@1: Bob is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "smart" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3)] Anne is smart.[(triple4 OR ((triple3) -> rule2))] Bob is cold.[(triple5)] Bob is green.[(triple6)] Erin is green.[(triple8 OR ((triple9) -> rule7))] Erin is not cold.[(triple7)] Erin is red.[(triple9)] Erin is round.[(triple10)] Erin is smart.[(triple11 OR ((triple10) -> rule2))] Fiona is green.[(triple12 OR ((triple13) -> rule7))] Fiona is not round.[(triple14)] Fiona is not smart.[(triple15)] Fiona is red.[(triple13)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
((triple3) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is green.
("Bob" "is" "green" "+")
triple6
Erin is green.
("Erin" "is" "green" "+")
triple8
((triple9) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not cold.
("Erin" "is" "cold" "-")
triple7
Erin is red.
("Erin" "is" "red" "+")
triple9
Erin is round.
("Erin" "is" "round" "+")
triple10
Erin is smart.
("Erin" "is" "smart" "+")
triple11
((triple10) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple12
((triple13) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not round.
("Fiona" "is" "round" "-")
triple14
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple15
Fiona is red.
("Fiona" "is" "red" "+")
triple13