Anne is green. Anne is nice. Anne is round. Anne is smart. Fiona is cold. Fiona is green. Fiona is nice. Fiona is round. Fiona is smart. Fiona is white. White people are cold. If Fiona is smart then Fiona is cold. All young people are white. All green, smart people are round. If Fiona is white and Fiona is round then Fiona is nice. All cold, young people are green. All white people are round. If someone is green and round then they are nice.
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
White people are cold.
((("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
If Fiona is smart then Fiona is cold.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "cold" "+"))
All young people are white.
((("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
All green, smart people are round.
((("someone" "is" "green" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
If Fiona is white and Fiona is round then Fiona is nice.
((("Fiona" "is" "white" "+") ("Fiona" "is" "round" "+")) -> ("Fiona" "is" "nice" "+"))
All cold, young people are green.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
All white people are round.
((("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
If someone is green and round then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Fiona is smart.
True
1
proof
[(triple9)]
("Fiona" "is" "smart" "+")
triple9
Anne is not nice.
False
1
inv-proof
[(triple2 OR ((triple1 triple3) -> rule8) OR ((triple1 ((triple1 triple4) -> rule4)) -> rule8))]
("Anne" "is" "nice" "-")
triple2
((triple1 triple3) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple1 ((triple1 triple4) -> (rule4 % int2))) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is not cold.
Unknown
inv-rconc
[@2: Anne is cold.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Anne" "is" "cold" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is green.[(triple1)] Anne is nice.[(triple2 OR ((triple1 triple3) -> rule8) OR ((triple1 ((triple1 triple4) -> rule4)) -> rule8))] Anne is round.[(triple3 OR ((triple1 triple4) -> rule4))] Anne is smart.[(triple4)] Fiona is cold.[(triple5 OR ((triple10) -> rule1) OR ((triple9) -> rule2))] Fiona is green.[(triple6)] Fiona is nice.[(triple7 OR ((triple10 triple8) -> rule5) OR ((triple6 triple8) -> rule8) OR ((triple10 ((triple10) -> rule7)) -> rule5) OR ((triple10 ((triple6 triple9) -> rule4)) -> rule5) OR ((triple6 ((triple10) -> rule7)) -> rule8) OR ((triple6 ((triple6 triple9) -> rule4)) -> rule8))] Fiona is round.[(triple8 OR ((triple10) -> rule7) OR ((triple6 triple9) -> rule4))] Fiona is smart.[(triple9)] Fiona is white.[(triple10)]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
((triple1 triple3) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple1 ((triple1 triple4) -> (rule4 % int2))) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
triple3
((triple1 triple4) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
((triple10) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((triple9) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple6
Fiona is nice.
("Fiona" "is" "nice" "+")
triple7
((triple10 triple8) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((triple6 triple8) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((triple10 ((triple10) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((triple10 ((triple6 triple9) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((triple6 ((triple10) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((triple6 ((triple6 triple9) -> (rule4 % int2))) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
triple8
((triple10) -> (rule7 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple6 triple9) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10