Dave is nice. Erin is smart. Fiona is young. All young things are white. If Fiona is nice and Fiona is quiet then Fiona is white. If Fiona is nice then Fiona is not green. If something is quiet and not cold then it is not young. If something is white and cold then it is not young. All cold things are quiet. If something is green and young then it is not quiet. All quiet things are nice.
Dave is nice.
("Dave" "is" "nice" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All young things are white.
((("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
If Fiona is nice and Fiona is quiet then Fiona is white.
((("Fiona" "is" "nice" "+") ("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "white" "+"))
If Fiona is nice then Fiona is not green.
((("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "green" "-"))
If something is quiet and not cold then it is not young.
((("something" "is" "quiet" "+") ("something" "is" "cold" "~")) -> ("something" "is" "young" "-"))
If something is white and cold then it is not young.
((("something" "is" "white" "+") ("something" "is" "cold" "+")) -> ("something" "is" "young" "-"))
All cold things are quiet.
((("something" "is" "cold" "+")) -> ("something" "is" "quiet" "+"))
If something is green and young then it is not quiet.
((("something" "is" "green" "+") ("something" "is" "young" "+")) -> ("something" "is" "quiet" "-"))
All quiet things are nice.
((("something" "is" "quiet" "+")) -> ("something" "is" "nice" "+"))
Erin is smart.
True
1
proof
[(triple2)]
("Erin" "is" "smart" "+")
triple2
Erin is not smart.
False
1
inv-proof
[(triple2)]
("Erin" "is" "smart" "-")
triple2
Fiona is white.
True
2
proof
[(((triple3) -> rule1))]
("Fiona" "is" "white" "+")
((triple3) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not white.
False
2
inv-proof
[(((triple3) -> rule1))]
("Fiona" "is" "white" "-")
((triple3) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Dave is not white.
Unknown
inv-rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "white" "-")
Erin is quiet.
Unknown
rconc
[@1: Erin is quiet.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Erin" "is" "quiet" "+")
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Dave is nice.[(triple1)] Erin is smart.[(triple2)] Fiona is young.[(triple3)] @1: Fiona is white.[(((triple3) -> rule1))]
Dave is nice.
("Dave" "is" "nice" "+")
triple1
Erin is smart.
("Erin" "is" "smart" "+")
triple2
Fiona is young.
("Fiona" "is" "young" "+")
triple3
Fiona is white.
("Fiona" "is" "white" "+")
((triple3) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1