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