Charlie is not furry. Charlie is nice. Dave is big. Dave is blue. Dave is nice. Dave is not white. Fiona is not big. Fiona is not blue. Fiona is nice. Fiona is smart. Harry is not blue. Harry is furry. Harry is not nice. Harry is smart. Harry is white. If Dave is big then Dave is smart. If something is white and not green then it is furry. If something is smart and green then it is furry.
Charlie is not furry.
("Charlie" "is" "furry" "-")
Charlie is nice.
("Charlie" "is" "nice" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is not white.
("Dave" "is" "white" "-")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is not nice.
("Harry" "is" "nice" "-")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
If Dave is big then Dave is smart.
((("Dave" "is" "big" "+")) -> ("Dave" "is" "smart" "+"))
If something is white and not green then it is furry.
((("something" "is" "white" "+") ("something" "is" "green" "~")) -> ("something" "is" "furry" "+"))
If something is smart and green then it is furry.
((("something" "is" "smart" "+") ("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
Charlie is not furry.
True
1
proof
[(triple1)]
("Charlie" "is" "furry" "-")
triple1
Harry is not white.
False
1
inv-proof
[(triple15)]
("Harry" "is" "white" "-")
triple15
Fiona is not furry.
Unknown
inv-rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "furry" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Charlie is nice.[(triple2)] Charlie is not furry.[(triple1)] Dave is big.[(triple3)] Dave is blue.[(triple4)] Dave is nice.[(triple5)] Dave is not white.[(triple6)] Fiona is nice.[(triple9)] Fiona is not big.[(triple7)] Fiona is not blue.[(triple8)] Fiona is smart.[(triple10)] Harry is furry.[(triple12)] Harry is not blue.[(triple11)] Harry is not nice.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15)] @1: Dave is smart.[(((triple3) -> rule1))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is not furry.
("Charlie" "is" "furry" "-")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Dave is not white.
("Dave" "is" "white" "-")
triple6
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is not big.
("Fiona" "is" "big" "-")
triple7
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple8
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
Harry is furry.
("Harry" "is" "furry" "+")
triple12
Harry is not blue.
("Harry" "is" "blue" "-")
triple11
Harry is not nice.
("Harry" "is" "nice" "-")
triple13
Harry is smart.
("Harry" "is" "smart" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
Dave is smart.
("Dave" "is" "smart" "+")
((triple3) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1