Fiona is smart. If something is cold then it is blue. All smart, round things are blue. Smart things are green. If Fiona is smart and Fiona is young then Fiona is big. If something is cold and not green then it is young. Blue things are not young.
Fiona is smart.
("Fiona" "is" "smart" "+")
If something is cold then it is blue.
((("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
All smart, round things are blue.
((("something" "is" "smart" "+") ("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
Smart things are green.
((("something" "is" "smart" "+")) -> ("something" "is" "green" "+"))
If Fiona is smart and Fiona is young then Fiona is big.
((("Fiona" "is" "smart" "+") ("Fiona" "is" "young" "+")) -> ("Fiona" "is" "big" "+"))
If something is cold and not green then it is young.
((("something" "is" "cold" "+") ("something" "is" "green" "~")) -> ("something" "is" "young" "+"))
Blue things are not young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "-"))
Fiona is smart.
True
1
proof
[(triple1)]
("Fiona" "is" "smart" "+")
triple1
Fiona is not smart.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "smart" "-")
triple1
Fiona is green.
True
2
proof
[(((triple1) -> rule3))]
("Fiona" "is" "green" "+")
((triple1) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not green.
False
2
inv-proof
[(((triple1) -> rule3))]
("Fiona" "is" "green" "-")
((triple1) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not big.
Unknown
inv-rconc
[@2: Fiona is big.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Fiona" "is" "big" "-")
Fiona is blue.
Unknown
rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "blue" "+")
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Fiona is smart.[(triple1)] @1: Fiona is green.[(((triple1) -> rule3))]
Fiona is smart.
("Fiona" "is" "smart" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
((triple1) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1