Bob is big. Bob is kind. Bob is nice. Charlie is not green. Charlie is smart. Erin is not green. Erin is nice. If Bob is not green and Bob is not rough then Bob is smart. Rough people are kind. If Charlie is kind then Charlie is cold. If someone is cold then they are big. Green, nice people are smart. If someone is smart and not cold then they are nice. If someone is kind and green then they are nice. If Erin is nice and Erin is rough then Erin is green.
Bob is big.
("Bob" "is" "big" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is not green.
("Charlie" "is" "green" "-")
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is not green.
("Erin" "is" "green" "-")
Erin is nice.
("Erin" "is" "nice" "+")
If Bob is not green and Bob is not rough then Bob is smart.
((("Bob" "is" "green" "~") ("Bob" "is" "rough" "~")) -> ("Bob" "is" "smart" "+"))
Rough people are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If Charlie is kind then Charlie is cold.
((("Charlie" "is" "kind" "+")) -> ("Charlie" "is" "cold" "+"))
If someone is cold then they are big.
((("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
Green, nice people are smart.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
If someone is smart and not cold then they are nice.
((("someone" "is" "smart" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "nice" "+"))
If someone is kind and green then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If Erin is nice and Erin is rough then Erin is green.
((("Erin" "is" "nice" "+") ("Erin" "is" "rough" "+")) -> ("Erin" "is" "green" "+"))
Erin is not green.
True
1
proof
[(triple6)]
("Erin" "is" "green" "-")
triple6
Bob is not kind.
False
1
inv-proof
[(triple2)]
("Bob" "is" "kind" "-")
triple2
Erin is not big.
Unknown
inv-rconc
[@1: Erin is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "big" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Charlie is not green.[(triple4)] Charlie is smart.[(triple5)] Erin is nice.[(triple7)] Erin is not green.[(triple6)]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Charlie is not green.
("Charlie" "is" "green" "-")
triple4
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple7
Erin is not green.
("Erin" "is" "green" "-")
triple6