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