Anne is blue. Charlie is young. Fiona is green. Blue, smart things are white. All green, blue things are young. All white, green things are smart. If something is round then it is green. Round, green things are young. All green things are white. Green, cold things are blue. If something is young and cold then it is smart.
Anne is blue.
("Anne" "is" "blue" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Blue, smart things are white.
((("something" "is" "blue" "+") ("something" "is" "smart" "+")) -> ("something" "is" "white" "+"))
All green, blue things are young.
((("something" "is" "green" "+") ("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
All white, green things are smart.
((("something" "is" "white" "+") ("something" "is" "green" "+")) -> ("something" "is" "smart" "+"))
If something is round then it is green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
Round, green things are young.
((("something" "is" "round" "+") ("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
All green things are white.
((("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
Green, cold things are blue.
((("something" "is" "green" "+") ("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
If something is young and cold then it is smart.
((("something" "is" "young" "+") ("something" "is" "cold" "+")) -> ("something" "is" "smart" "+"))
Charlie is young.
True
1
proof
[(triple2)]
("Charlie" "is" "young" "+")
triple2
Charlie is not young.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "young" "-")
triple2
Charlie is not white.
Unknown
inv-rconc
[@2: Charlie is white.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("Charlie" "is" "white" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is blue.[(triple1)] Charlie is young.[(triple2)] Fiona is green.[(triple3)] @1: Fiona is white.[(((triple3) -> rule6))] @2: Fiona is smart.[(((((triple3) -> rule6) triple3) -> rule3))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Fiona is white.
("Fiona" "is" "white" "+")
((triple3) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple3) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2