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