Anne is big. Anne is green. Anne is smart. Erin is green. Erin is kind. Erin is not nice. Erin is not smart. Erin is young. Fiona is big. Fiona is blue. Fiona is green. Fiona is kind. Fiona is nice. Fiona is smart. Fiona is not young. Smart people are blue. If someone is kind and not nice then they are green. If someone is young and not blue then they are not big.
Anne is big.
("Anne" "is" "big" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is not nice.
("Erin" "is" "nice" "-")
Erin is not smart.
("Erin" "is" "smart" "-")
Erin is young.
("Erin" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
Smart people are blue.
((("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and not nice then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "green" "+"))
If someone is young and not blue then they are not big.
((("someone" "is" "young" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "big" "-"))
Fiona is smart.
True
1
proof
[(triple14)]
("Fiona" "is" "smart" "+")
triple14
Erin is nice.
False
1
inv-proof
[(triple6)]
("Erin" "is" "nice" "+")
triple6
Anne is blue.
True
2
proof
[(((triple3) -> rule1))]
("Anne" "is" "blue" "+")
((triple3) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is not blue.
False
2
inv-proof
[(((triple3) -> rule1))]
("Anne" "is" "blue" "-")
((triple3) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Erin is not blue.
Unknown
inv-rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "blue" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
Anne is not kind.
Unknown
inv-random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is smart.[(triple3)] Erin is green.[(triple4 OR ((triple5 triple6) -> rule2))] Erin is kind.[(triple5)] Erin is not nice.[(triple6)] Erin is not smart.[(triple7)] Erin is young.[(triple8)] Fiona is big.[(triple9)] Fiona is blue.[(triple10 OR ((triple14) -> rule1))] Fiona is green.[(triple11)] Fiona is kind.[(triple12)] Fiona is nice.[(triple13)] Fiona is not young.[(triple15)] Fiona is smart.[(triple14)] @1: Anne is blue.[(((triple3) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Erin is green.
("Erin" "is" "green" "+")
triple4
((triple5 triple6) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Erin is not nice.
("Erin" "is" "nice" "-")
triple6
Erin is not smart.
("Erin" "is" "smart" "-")
triple7
Erin is young.
("Erin" "is" "young" "+")
triple8
Fiona is big.
("Fiona" "is" "big" "+")
triple9
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
((triple14) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple11
Fiona is kind.
("Fiona" "is" "kind" "+")
triple12
Fiona is nice.
("Fiona" "is" "nice" "+")
triple13
Fiona is not young.
("Fiona" "is" "young" "-")
triple15
Fiona is smart.
("Fiona" "is" "smart" "+")
triple14
Anne is blue.
("Anne" "is" "blue" "+")
((triple3) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1