Bob is kind. Dave is green. Dave is smart. Dave is white. Erin is big. Erin is green. Erin is kind. Erin is nice. Erin is red. Erin is smart. Erin is white. Fiona is big. Fiona is not kind. Fiona is smart. Fiona is white. If someone is nice then they are green. If Bob is not nice and Bob is not red then Bob is smart. If someone is white and not green then they are big.
Bob is kind.
("Bob" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If someone is nice then they are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If Bob is not nice and Bob is not red then Bob is smart.
((("Bob" "is" "nice" "~") ("Bob" "is" "red" "~")) -> ("Bob" "is" "smart" "+"))
If someone is white and not green then they are big.
((("someone" "is" "white" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "big" "+"))
Erin is nice.
True
1
proof
[(triple8)]
("Erin" "is" "nice" "+")
triple8
Dave is not smart.
False
1
inv-proof
[(triple3)]
("Dave" "is" "smart" "-")
triple3
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "big" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Bob is kind.[(triple1)] Dave is green.[(triple2)] Dave is smart.[(triple3)] Dave is white.[(triple4)] Erin is big.[(triple5)] Erin is green.[(triple6 OR ((triple8) -> rule1))] Erin is kind.[(triple7)] Erin is nice.[(triple8)] Erin is red.[(triple9)] Erin is smart.[(triple10)] Erin is white.[(triple11)] Fiona is big.[(triple12)] Fiona is not kind.[(triple13)] Fiona is smart.[(triple14)] Fiona is white.[(triple15)]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is smart.
("Dave" "is" "smart" "+")
triple3
Dave is white.
("Dave" "is" "white" "+")
triple4
Erin is big.
("Erin" "is" "big" "+")
triple5
Erin is green.
("Erin" "is" "green" "+")
triple6
((triple8) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
triple7
Erin is nice.
("Erin" "is" "nice" "+")
triple8
Erin is red.
("Erin" "is" "red" "+")
triple9
Erin is smart.
("Erin" "is" "smart" "+")
triple10
Erin is white.
("Erin" "is" "white" "+")
triple11
Fiona is big.
("Fiona" "is" "big" "+")
triple12
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple13
Fiona is smart.
("Fiona" "is" "smart" "+")
triple14
Fiona is white.
("Fiona" "is" "white" "+")
triple15