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