Dave is green. Dave is nice. Dave is young. Erin is not furry. Erin is green. Erin is kind. Erin is nice. Erin is quiet. Erin is red. Fiona is not furry. Fiona is nice. Fiona is quiet. Fiona is red. Gary is nice. Gary is quiet. Gary is young. If someone is nice and not kind then they are young. Quiet, red people are nice. If someone is kind and not green then they are nice. If Gary is quiet and Gary is not kind then Gary is young. Green people are red. If someone is young and not green then they are furry.
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is nice and not kind then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "young" "+"))
Quiet, red people are nice.
((("someone" "is" "quiet" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and not green then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "nice" "+"))
If Gary is quiet and Gary is not kind then Gary is young.
((("Gary" "is" "quiet" "+") ("Gary" "is" "kind" "~")) -> ("Gary" "is" "young" "+"))
Green people are red.
((("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is young and not green then they are furry.
((("someone" "is" "young" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "furry" "+"))
Fiona is red.
True
1
proof
[(triple13)]
("Fiona" "is" "red" "+")
triple13
Erin is not red.
False
1
inv-proof
[(triple9 OR ((triple5) -> rule5))]
("Erin" "is" "red" "-")
triple9
((triple5) -> (rule5 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Dave is red.
True
2
proof
[(((triple1) -> rule5))]
("Dave" "is" "red" "+")
((triple1) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is not red.
False
2
inv-proof
[(((triple1) -> rule5))]
("Dave" "is" "red" "-")
((triple1) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Gary is not furry.
Unknown
inv-rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "furry" "-")
Dave is furry.
Unknown
rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "furry" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Dave is green.[(triple1)] Dave is nice.[(triple2)] Dave is young.[(triple3)] Erin is green.[(triple5)] Erin is kind.[(triple6)] Erin is nice.[(triple7 OR ((triple8 triple9) -> rule2) OR ((triple8 ((triple5) -> rule5)) -> rule2))] Erin is not furry.[(triple4)] Erin is quiet.[(triple8)] Erin is red.[(triple9 OR ((triple5) -> rule5))] Fiona is nice.[(triple11 OR ((triple12 triple13) -> rule2))] Fiona is not furry.[(triple10)] Fiona is quiet.[(triple12)] Fiona is red.[(triple13)] Gary is nice.[(triple14)] Gary is quiet.[(triple15)] Gary is young.[(triple16)] @1: Dave is red.[(((triple1) -> rule5))]
Dave is green.
("Dave" "is" "green" "+")
triple1
Dave is nice.
("Dave" "is" "nice" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple3
Erin is green.
("Erin" "is" "green" "+")
triple5
Erin is kind.
("Erin" "is" "kind" "+")
triple6
Erin is nice.
("Erin" "is" "nice" "+")
triple7
((triple8 triple9) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((triple8 ((triple5) -> (rule5 % int2))) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is not furry.
("Erin" "is" "furry" "-")
triple4
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
Erin is red.
("Erin" "is" "red" "+")
triple9
((triple5) -> (rule5 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple11
((triple12 triple13) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple12
Fiona is red.
("Fiona" "is" "red" "+")
triple13
Gary is nice.
("Gary" "is" "nice" "+")
triple14
Gary is quiet.
("Gary" "is" "quiet" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
Dave is red.
("Dave" "is" "red" "+")
((triple1) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1