Charlie is big. Charlie is not kind. Charlie is nice. Charlie is smart. Charlie is white. Dave is furry. Dave is nice. Dave is white. Fiona is big. Fiona is nice. Fiona is round. Fiona is smart. Nice, furry people are not round. If someone is furry then they are not round. If Dave is big then Dave is not furry. If Charlie is kind then Charlie is round. All white people are not kind. Kind people are smart.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is not kind.
("Charlie" "is" "kind" "-")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Nice, furry people are not round.
((("someone" "is" "nice" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "round" "-"))
If someone is furry then they are not round.
((("someone" "is" "furry" "+")) -> ("someone" "is" "round" "-"))
If Dave is big then Dave is not furry.
((("Dave" "is" "big" "+")) -> ("Dave" "is" "furry" "-"))
If Charlie is kind then Charlie is round.
((("Charlie" "is" "kind" "+")) -> ("Charlie" "is" "round" "+"))
All white people are not kind.
((("someone" "is" "white" "+")) -> ("someone" "is" "kind" "-"))
Kind people are smart.
((("someone" "is" "kind" "+")) -> ("someone" "is" "smart" "+"))
Fiona is big.
True
1
proof
[(triple9)]
("Fiona" "is" "big" "+")
triple9
Charlie is not white.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "white" "-")
triple5
Dave is not round.
True
2
proof
[(((triple6) -> rule2) OR ((triple7 triple6) -> rule1))]
("Dave" "is" "round" "-")
((triple6) -> (rule2 % int1))
Dave is not round.
("Dave" "is" "round" "-")
int1
((triple7 triple6) -> (rule1 % int1))
Dave is not round.
("Dave" "is" "round" "-")
int1
Dave is round.
False
2
inv-proof
[(((triple6) -> rule2) OR ((triple7 triple6) -> rule1))]
("Dave" "is" "round" "+")
((triple6) -> (rule2 % int1))
Dave is not round.
("Dave" "is" "round" "-")
int1
((triple7 triple6) -> (rule1 % int1))
Dave is not round.
("Dave" "is" "round" "-")
int1
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "round" "-")
Dave is smart.
Unknown
rconc
[@1: Dave is smart.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "smart" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Charlie is big.[(triple1)] Charlie is nice.[(triple3)] Charlie is not kind.[(triple2 OR ((triple5) -> rule5))] Charlie is smart.[(triple4)] Charlie is white.[(triple5)] Dave is furry.[(triple6)] Dave is nice.[(triple7)] Dave is white.[(triple8)] Fiona is big.[(triple9)] Fiona is nice.[(triple10)] Fiona is round.[(triple11)] Fiona is smart.[(triple12)] @1: Dave is not kind.[(((triple8) -> rule5))] Dave is not round.[(((triple6) -> rule2) OR ((triple7 triple6) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is not kind.
("Charlie" "is" "kind" "-")
triple2
((triple5) -> (rule5 % int1))
Charlie is not kind.
("Charlie" "is" "kind" "-")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple4
Charlie is white.
("Charlie" "is" "white" "+")
triple5
Dave is furry.
("Dave" "is" "furry" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple7
Dave is white.
("Dave" "is" "white" "+")
triple8
Fiona is big.
("Fiona" "is" "big" "+")
triple9
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12
Dave is not kind.
("Dave" "is" "kind" "-")
((triple8) -> (rule5 % int1))
Dave is not kind.
("Dave" "is" "kind" "-")
int1
Dave is not round.
("Dave" "is" "round" "-")
((triple6) -> (rule2 % int1))
Dave is not round.
("Dave" "is" "round" "-")
int1
((triple7 triple6) -> (rule1 % int1))
Dave is not round.
("Dave" "is" "round" "-")
int1