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