Dave is blue. Dave is furry. Dave is nice. Dave is rough. Dave is smart. Dave is white. Dave is young. Erin is blue. Erin is furry. Erin is rough. Erin is smart. Gary is blue. Gary is rough. Gary is smart. Gary is young. If someone is young and rough then they are white. All furry, nice people are smart.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is young and rough then they are white.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
All furry, nice people are smart.
((("someone" "is" "furry" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
Gary is smart.
True
1
proof
[(triple14)]
("Gary" "is" "smart" "+")
triple14
Dave is not young.
False
1
inv-proof
[(triple7)]
("Dave" "is" "young" "-")
triple7
Gary is white.
True
3
proof
[(((triple15 triple13) -> rule1))]
("Gary" "is" "white" "+")
((triple15 triple13) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is not white.
False
3
inv-proof
[(((triple15 triple13) -> rule1))]
("Gary" "is" "white" "-")
((triple15 triple13) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Erin is not white.
Unknown
inv-rconc
[@1: Erin is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "white" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2)] Dave is nice.[(triple3)] Dave is rough.[(triple4)] Dave is smart.[(triple5 OR ((triple2 triple3) -> rule2))] Dave is white.[(triple6 OR ((triple7 triple4) -> rule1))] Dave is young.[(triple7)] Erin is blue.[(triple8)] Erin is furry.[(triple9)] Erin is rough.[(triple10)] Erin is smart.[(triple11)] Gary is blue.[(triple12)] Gary is rough.[(triple13)] Gary is smart.[(triple14)] Gary is young.[(triple15)] @1: Gary is white.[(((triple15 triple13) -> rule1))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Dave is smart.
("Dave" "is" "smart" "+")
triple5
((triple2 triple3) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
triple6
((triple7 triple4) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
triple7
Erin is blue.
("Erin" "is" "blue" "+")
triple8
Erin is furry.
("Erin" "is" "furry" "+")
triple9
Erin is rough.
("Erin" "is" "rough" "+")
triple10
Erin is smart.
("Erin" "is" "smart" "+")
triple11
Gary is blue.
("Gary" "is" "blue" "+")
triple12
Gary is rough.
("Gary" "is" "rough" "+")
triple13
Gary is smart.
("Gary" "is" "smart" "+")
triple14
Gary is young.
("Gary" "is" "young" "+")
triple15
Gary is white.
("Gary" "is" "white" "+")
((triple15 triple13) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1