Charlie is green. Charlie is not kind. Erin is big. Erin is blue. Erin is kind. Erin is nice. Fiona is kind. All kind people are blue. If Erin is furry then Erin is not big. All furry, nice people are not kind. If someone is blue and big then they are not white. If someone is white and not kind then they are not big. Furry people are big.
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is not kind.
("Charlie" "is" "kind" "-")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
All kind people are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If Erin is furry then Erin is not big.
((("Erin" "is" "furry" "+")) -> ("Erin" "is" "big" "-"))
All furry, nice people are not kind.
((("someone" "is" "furry" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "-"))
If someone is blue and big then they are not white.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "white" "-"))
If someone is white and not kind then they are not big.
((("someone" "is" "white" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "big" "-"))
Furry people are big.
((("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
Charlie is not kind.
True
1
proof
[(triple2)]
("Charlie" "is" "kind" "-")
triple2
Erin is not nice.
False
1
inv-proof
[(triple6)]
("Erin" "is" "nice" "-")
triple6
Fiona is not big.
Unknown
inv-rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "big" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Charlie is green.[(triple1)] Charlie is not kind.[(triple2)] Erin is big.[(triple3)] Erin is blue.[(triple4 OR ((triple5) -> rule1))] Erin is kind.[(triple5)] Erin is nice.[(triple6)] Fiona is kind.[(triple7)] @1: Erin is not white.[(((triple4 triple3) -> rule4) OR ((((triple5) -> rule1) triple3) -> rule4))] Fiona is blue.[(((triple7) -> rule1))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Charlie is not kind.
("Charlie" "is" "kind" "-")
triple2
Erin is big.
("Erin" "is" "big" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
triple4
((triple5) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Erin is not white.
("Erin" "is" "white" "-")
((triple4 triple3) -> (rule4 % int1))
Erin is not white.
("Erin" "is" "white" "-")
int1
((((triple5) -> (rule1 % int2)) triple3) -> (rule4 % int1))
Erin is not white.
("Erin" "is" "white" "-")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple7) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1