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