Anne is white. Bob is cold. Bob is green. Bob is nice. Bob is not smart. Bob is young. Erin is not green. Fiona is quiet. Fiona is white. Fiona is young. Nice people are young. Quiet people are not green.
Anne is white.
("Anne" "is" "white" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is not smart.
("Bob" "is" "smart" "-")
Bob is young.
("Bob" "is" "young" "+")
Erin is not green.
("Erin" "is" "green" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Nice people are young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Quiet people are not green.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "-"))
Bob is green.
True
1
proof
[(triple3)]
("Bob" "is" "green" "+")
triple3
Erin is green.
False
1
inv-proof
[(triple7)]
("Erin" "is" "green" "+")
triple7
Fiona is not green.
True
2
proof
[(((triple8) -> rule2))]
("Fiona" "is" "green" "-")
((triple8) -> (rule2 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is green.
False
2
inv-proof
[(((triple8) -> rule2))]
("Fiona" "is" "green" "+")
((triple8) -> (rule2 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Anne is not young.
Unknown
inv-rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "young" "-")
Erin is young.
Unknown
rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "young" "+")
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Anne is white.[(triple1)] Bob is cold.[(triple2)] Bob is green.[(triple3)] Bob is nice.[(triple4)] Bob is not smart.[(triple5)] Bob is young.[(triple6 OR ((triple4) -> rule1))] Erin is not green.[(triple7)] Fiona is quiet.[(triple8)] Fiona is white.[(triple9)] Fiona is young.[(triple10)] @1: Fiona is not green.[(((triple8) -> rule2))]
Anne is white.
("Anne" "is" "white" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is not smart.
("Bob" "is" "smart" "-")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple6
((triple4) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Erin is not green.
("Erin" "is" "green" "-")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
Fiona is white.
("Fiona" "is" "white" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Fiona is not green.
("Fiona" "is" "green" "-")
((triple8) -> (rule2 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1