Bob is cold. Erin is green. Fiona is green. All young people are blue. All young people are not green. If Erin is green then Erin is quiet.
Bob is cold.
("Bob" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Fiona is green.
("Fiona" "is" "green" "+")
All young people are blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
All young people are not green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "-"))
If Erin is green then Erin is quiet.
((("Erin" "is" "green" "+")) -> ("Erin" "is" "quiet" "+"))
Erin is green.
True
1
proof
[(triple2)]
("Erin" "is" "green" "+")
triple2
Fiona is not green.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "green" "-")
triple3
Erin is quiet.
True
2
proof
[(((triple2) -> rule3))]
("Erin" "is" "quiet" "+")
((triple2) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is not quiet.
False
2
inv-proof
[(((triple2) -> rule3))]
("Erin" "is" "quiet" "-")
((triple2) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is not blue.
Unknown
inv-rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "blue" "-")
Bob is blue.
Unknown
rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "blue" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Bob is cold.[(triple1)] Erin is green.[(triple2)] Fiona is green.[(triple3)] @1: Erin is quiet.[(((triple2) -> rule3))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple2) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1