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