Bob is furry. Dave is furry. Fiona is smart. Harry is big. If Harry is kind and Harry is furry then Harry is smart. All big, white people are not smart. If someone is furry and smart then they are kind. All smart people are not furry. If someone is big and not kind then they are green. All furry people are not green.
Bob is furry.
("Bob" "is" "furry" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is big.
("Harry" "is" "big" "+")
If Harry is kind and Harry is furry then Harry is smart.
((("Harry" "is" "kind" "+") ("Harry" "is" "furry" "+")) -> ("Harry" "is" "smart" "+"))
All big, white people are not smart.
((("someone" "is" "big" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "smart" "-"))
If someone is furry and smart then they are kind.
((("someone" "is" "furry" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
All smart people are not furry.
((("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "-"))
If someone is big and not kind then they are green.
((("someone" "is" "big" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "green" "+"))
All furry people are not green.
((("someone" "is" "furry" "+")) -> ("someone" "is" "green" "-"))
Harry is big.
True
1
proof
[(triple4)]
("Harry" "is" "big" "+")
triple4
Harry is not big.
False
1
inv-proof
[(triple4)]
("Harry" "is" "big" "-")
triple4
Dave is not green.
True
2
proof
[(((triple2) -> rule6))]
("Dave" "is" "green" "-")
((triple2) -> (rule6 % int1))
Dave is not green.
("Dave" "is" "green" "-")
int1
Bob is green.
False
2
inv-proof
[(((triple1) -> rule6))]
("Bob" "is" "green" "+")
((triple1) -> (rule6 % int1))
Bob is not green.
("Bob" "is" "green" "-")
int1
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "kind" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "kind" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Bob is furry.[(triple1)] Dave is furry.[(triple2)] Fiona is smart.[(triple3)] Harry is big.[(triple4)] @1: Bob is not green.[(((triple1) -> rule6))] Dave is not green.[(((triple2) -> rule6))] Fiona is not furry.[(((triple3) -> rule4))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
triple4
Bob is not green.
("Bob" "is" "green" "-")
((triple1) -> (rule6 % int1))
Bob is not green.
("Bob" "is" "green" "-")
int1
Dave is not green.
("Dave" "is" "green" "-")
((triple2) -> (rule6 % int1))
Dave is not green.
("Dave" "is" "green" "-")
int1
Fiona is not furry.
("Fiona" "is" "furry" "-")
((triple3) -> (rule4 % int1))
Fiona is not furry.
("Fiona" "is" "furry" "-")
int1