Anne is big. Bob is young. Fiona is round. If something is round then it is green. All big, green things are round. Young, green things are big. If something is round and kind then it is young. Green things are blue. If Anne is smart and Anne is blue then Anne is round. If Fiona is big then Fiona is blue. Kind, blue things are young.
Anne is big.
("Anne" "is" "big" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If something is round then it is green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
All big, green things are round.
((("something" "is" "big" "+") ("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
Young, green things are big.
((("something" "is" "young" "+") ("something" "is" "green" "+")) -> ("something" "is" "big" "+"))
If something is round and kind then it is young.
((("something" "is" "round" "+") ("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
Green things are blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
If Anne is smart and Anne is blue then Anne is round.
((("Anne" "is" "smart" "+") ("Anne" "is" "blue" "+")) -> ("Anne" "is" "round" "+"))
If Fiona is big then Fiona is blue.
((("Fiona" "is" "big" "+")) -> ("Fiona" "is" "blue" "+"))
Kind, blue things are young.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
Fiona is round.
True
1
proof
[(triple3)]
("Fiona" "is" "round" "+")
triple3
Anne is not big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "-")
triple1
Anne is not green.
Unknown
inv-rconc
[@2: Anne is green.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Anne" "is" "green" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is big.[(triple1)] Bob is young.[(triple2)] Fiona is round.[(triple3)] @1: Fiona is green.[(((triple3) -> rule1))] @2: Fiona is blue.[(((((triple3) -> rule1)) -> rule5))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
((triple3) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((((triple3) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2