Charlie is furry. Fiona is kind. Gary is rough. Harry is furry. Rough people are nice. All nice, blue people are white. All kind, nice people are white. If Fiona is blue and Fiona is young then Fiona is nice. Furry people are young. Rough, white people are furry.
Charlie is furry.
("Charlie" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Rough people are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
All nice, blue people are white.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "white" "+"))
All kind, nice people are white.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
If Fiona is blue and Fiona is young then Fiona is nice.
((("Fiona" "is" "blue" "+") ("Fiona" "is" "young" "+")) -> ("Fiona" "is" "nice" "+"))
Furry people are young.
((("someone" "is" "furry" "+")) -> ("someone" "is" "young" "+"))
Rough, white people are furry.
((("someone" "is" "rough" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
Fiona is kind.
True
1
proof
[(triple2)]
("Fiona" "is" "kind" "+")
triple2
Fiona is not kind.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "kind" "-")
triple2
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "nice" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Charlie is furry.[(triple1)] Fiona is kind.[(triple2)] Gary is rough.[(triple3)] Harry is furry.[(triple4)] @1: Charlie is young.[(((triple1) -> rule5))] Gary is nice.[(((triple3) -> rule1))] Harry is young.[(((triple4) -> rule5))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Gary is rough.
("Gary" "is" "rough" "+")
triple3
Harry is furry.
("Harry" "is" "furry" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
((triple1) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple3) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple4) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1