Charlie is kind. Charlie is red. Charlie is round. Charlie is smart. Dave is kind. Dave is red. Dave is round. Erin is big. Erin is furry. Erin is kind. Gary is big. Gary is furry. Gary is kind. Gary is nice. Gary is red. Gary is smart. Nice, smart things are big. Big, round things are furry.
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Nice, smart things are big.
((("something" "is" "nice" "+") ("something" "is" "smart" "+")) -> ("something" "is" "big" "+"))
Big, round things are furry.
((("something" "is" "big" "+") ("something" "is" "round" "+")) -> ("something" "is" "furry" "+"))
Gary is kind.
True
1
proof
[(triple13)]
("Gary" "is" "kind" "+")
triple13
Dave is not red.
False
1
inv-proof
[(triple6)]
("Dave" "is" "red" "-")
triple6
Dave is not furry.
Unknown
inv-rconc
[@2: Dave is furry.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Dave" "is" "furry" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Charlie is kind.[(triple1)] Charlie is red.[(triple2)] Charlie is round.[(triple3)] Charlie is smart.[(triple4)] Dave is kind.[(triple5)] Dave is red.[(triple6)] Dave is round.[(triple7)] Erin is big.[(triple8)] Erin is furry.[(triple9)] Erin is kind.[(triple10)] Gary is big.[(triple11 OR ((triple14 triple16) -> rule1))] Gary is furry.[(triple12)] Gary is kind.[(triple13)] Gary is nice.[(triple14)] Gary is red.[(triple15)] Gary is smart.[(triple16)]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Charlie is smart.
("Charlie" "is" "smart" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple7
Erin is big.
("Erin" "is" "big" "+")
triple8
Erin is furry.
("Erin" "is" "furry" "+")
triple9
Erin is kind.
("Erin" "is" "kind" "+")
triple10
Gary is big.
("Gary" "is" "big" "+")
triple11
((triple14 triple16) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
triple12
Gary is kind.
("Gary" "is" "kind" "+")
triple13
Gary is nice.
("Gary" "is" "nice" "+")
triple14
Gary is red.
("Gary" "is" "red" "+")
triple15
Gary is smart.
("Gary" "is" "smart" "+")
triple16