Charlie is furry. Charlie is red. Charlie is smart. Charlie is white. Dave is big. Dave is cold. Dave is furry. Dave is not kind. Dave is red. Dave is not smart. Dave is white. Erin is not big. Erin is cold. Erin is not kind. Erin is smart. Erin is white. Furry people are red.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is not kind.
("Dave" "is" "kind" "-")
Dave is red.
("Dave" "is" "red" "+")
Dave is not smart.
("Dave" "is" "smart" "-")
Dave is white.
("Dave" "is" "white" "+")
Erin is not big.
("Erin" "is" "big" "-")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is not kind.
("Erin" "is" "kind" "-")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Furry people are red.
((("someone" "is" "furry" "+")) -> ("someone" "is" "red" "+"))
Erin is not big.
True
1
proof
[(triple12)]
("Erin" "is" "big" "-")
triple12
Dave is kind.
False
1
inv-proof
[(triple8)]
("Dave" "is" "kind" "+")
triple8
Erin is not red.
Unknown
inv-rconc
[@1: Erin is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "red" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Charlie is furry.[(triple1)] Charlie is red.[(triple2 OR ((triple1) -> rule1))] Charlie is smart.[(triple3)] Charlie is white.[(triple4)] Dave is big.[(triple5)] Dave is cold.[(triple6)] Dave is furry.[(triple7)] Dave is not kind.[(triple8)] Dave is not smart.[(triple10)] Dave is red.[(triple9 OR ((triple7) -> rule1))] Dave is white.[(triple11)] Erin is cold.[(triple13)] Erin is not big.[(triple12)] Erin is not kind.[(triple14)] Erin is smart.[(triple15)] Erin is white.[(triple16)]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
((triple1) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple3
Charlie is white.
("Charlie" "is" "white" "+")
triple4
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is furry.
("Dave" "is" "furry" "+")
triple7
Dave is not kind.
("Dave" "is" "kind" "-")
triple8
Dave is not smart.
("Dave" "is" "smart" "-")
triple10
Dave is red.
("Dave" "is" "red" "+")
triple9
((triple7) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
triple11
Erin is cold.
("Erin" "is" "cold" "+")
triple13
Erin is not big.
("Erin" "is" "big" "-")
triple12
Erin is not kind.
("Erin" "is" "kind" "-")
triple14
Erin is smart.
("Erin" "is" "smart" "+")
triple15
Erin is white.
("Erin" "is" "white" "+")
triple16