Charlie is kind. Charlie is not red. Charlie is round. Charlie is not young. Erin is blue. Erin is kind. Erin is not young. Fiona is not furry. Fiona is nice. Fiona is young. If someone is kind and not red then they are blue. All kind, blue people are round. If someone is kind then they are nice.
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is not red.
("Charlie" "is" "red" "-")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is not young.
("Charlie" "is" "young" "-")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is not young.
("Erin" "is" "young" "-")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If someone is kind and not red then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "blue" "+"))
All kind, blue people are round.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is kind then they are nice.
((("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
Charlie is not young.
True
1
proof
[(triple4)]
("Charlie" "is" "young" "-")
triple4
Charlie is young.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "young" "+")
triple4
Charlie is nice.
True
2
proof
[(((triple1) -> rule3))]
("Charlie" "is" "nice" "+")
((triple1) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Erin is not nice.
False
2
inv-proof
[(((triple6) -> rule3))]
("Erin" "is" "nice" "-")
((triple6) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Fiona is not blue.
Unknown
inv-rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "blue" "-")
Fiona is round.
Unknown
rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "round" "+")
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
@0: Charlie is kind.[(triple1)] Charlie is not red.[(triple2)] Charlie is not young.[(triple4)] Charlie is round.[(triple3 OR ((triple1 ((triple1 triple2) -> rule1)) -> rule2))] Erin is blue.[(triple5)] Erin is kind.[(triple6)] Erin is not young.[(triple7)] Fiona is nice.[(triple9)] Fiona is not furry.[(triple8)] Fiona is young.[(triple10)] @1: Charlie is blue.[(((triple1 triple2) -> rule1))] Charlie is nice.[(((triple1) -> rule3))] Erin is nice.[(((triple6) -> rule3))] Erin is round.[(((triple6 triple5) -> rule2))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Charlie is not red.
("Charlie" "is" "red" "-")
triple2
Charlie is not young.
("Charlie" "is" "young" "-")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple3
((triple1 ((triple1 triple2) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
triple5
Erin is kind.
("Erin" "is" "kind" "+")
triple6
Erin is not young.
("Erin" "is" "young" "-")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple8
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple1 triple2) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple1) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
((triple6) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple6 triple5) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1