Dave is green. Fiona is green. Gary is red. Harry is blue. Green, rough people are kind. All red people are kind. Red people are quiet. If Harry is blue and Harry is quiet then Harry is rough. If Gary is rough then Gary is young. Green people are young. If someone is green and not kind then they are not young. If someone is green and not red then they are young.
Dave is green.
("Dave" "is" "green" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Green, rough people are kind.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
All red people are kind.
((("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
Red people are quiet.
((("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
If Harry is blue and Harry is quiet then Harry is rough.
((("Harry" "is" "blue" "+") ("Harry" "is" "quiet" "+")) -> ("Harry" "is" "rough" "+"))
If Gary is rough then Gary is young.
((("Gary" "is" "rough" "+")) -> ("Gary" "is" "young" "+"))
Green people are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is green and not kind then they are not young.
((("someone" "is" "green" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "young" "-"))
If someone is green and not red then they are young.
((("someone" "is" "green" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "young" "+"))
Fiona is green.
True
1
proof
[(triple2)]
("Fiona" "is" "green" "+")
triple2
Harry is not blue.
False
1
inv-proof
[(triple4)]
("Harry" "is" "blue" "-")
triple4
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "young" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Dave is green.[(triple1)] Fiona is green.[(triple2)] Gary is red.[(triple3)] Harry is blue.[(triple4)] @1: Dave is young.[(((triple1) -> rule6))] Fiona is young.[(((triple2) -> rule6))] Gary is kind.[(((triple3) -> rule2))] Gary is quiet.[(((triple3) -> rule3))]
Dave is green.
("Dave" "is" "green" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
triple2
Gary is red.
("Gary" "is" "red" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
((triple1) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple2) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple3) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple3) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1