Anne is round. Charlie is white. Fiona is cold. White people are young. All round, smart people are young. Smart people are blue. All blue people are white. Smart, round people are blue. All cold people are blue.
Anne is round.
("Anne" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
White people are young.
((("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
All round, smart people are young.
((("someone" "is" "round" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
Smart people are blue.
((("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "+"))
All blue people are white.
((("someone" "is" "blue" "+")) -> ("someone" "is" "white" "+"))
Smart, round people are blue.
((("someone" "is" "smart" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
All cold people are blue.
((("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
Anne is round.
True
1
proof
[(triple1)]
("Anne" "is" "round" "+")
triple1
Anne is not round.
False
1
inv-proof
[(triple1)]
("Anne" "is" "round" "-")
triple1
Anne is not young.
Unknown
inv-rconc
[@3: Anne is young.[CWA. Example of deepest failure = (rule1 <- rule4 <- rule3 <- FAIL)]]
("Anne" "is" "young" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Anne is round.[(triple1)] Charlie is white.[(triple2)] Fiona is cold.[(triple3)] @1: Charlie is young.[(((triple2) -> rule1))] Fiona is blue.[(((triple3) -> rule6))] @2: Fiona is white.[(((((triple3) -> rule6)) -> rule4))] @3: Fiona is young.[(((((((triple3) -> rule6)) -> rule4)) -> rule1))]
Anne is round.
("Anne" "is" "round" "+")
triple1
Charlie is white.
("Charlie" "is" "white" "+")
triple2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
((triple2) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple3) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((((triple3) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
((((((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3