Bob is big. Bob is white. Bob is young. Erin is rough. Gary is big. Gary is not cold. Gary is not green. Gary is nice. Gary is rough. Gary is young. Harry is big. Harry is not cold. Harry is rough. Harry is white. Harry is young. Green people are white. Nice people are white. All green people are not nice. If someone is green and nice then they are rough. If someone is nice and not green then they are rough. All big, green people are not rough. All cold people are not big. If Gary is not young and Gary is not nice then Gary is white.
Bob is big.
("Bob" "is" "big" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is not green.
("Gary" "is" "green" "-")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is not cold.
("Harry" "is" "cold" "-")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
Green people are white.
((("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
Nice people are white.
((("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
All green people are not nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "-"))
If someone is green and nice then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and not green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "rough" "+"))
All big, green people are not rough.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "-"))
All cold people are not big.
((("someone" "is" "cold" "+")) -> ("someone" "is" "big" "-"))
If Gary is not young and Gary is not nice then Gary is white.
((("Gary" "is" "young" "~") ("Gary" "is" "nice" "~")) -> ("Gary" "is" "white" "+"))
Gary is nice.
True
1
proof
[(triple8)]
("Gary" "is" "nice" "+")
triple8
Bob is not big.
False
1
inv-proof
[(triple1)]
("Bob" "is" "big" "-")
triple1
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "rough" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Bob is big.[(triple1)] Bob is white.[(triple2)] Bob is young.[(triple3)] Erin is rough.[(triple4)] Gary is big.[(triple5)] Gary is nice.[(triple8)] Gary is not cold.[(triple6)] Gary is not green.[(triple7)] Gary is rough.[(triple9 OR ((triple8 triple7) -> rule5))] Gary is young.[(triple10)] Harry is big.[(triple11)] Harry is not cold.[(triple12)] Harry is rough.[(triple13)] Harry is white.[(triple14)] Harry is young.[(triple15)] @1: Gary is white.[(((triple8) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Erin is rough.
("Erin" "is" "rough" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is not cold.
("Gary" "is" "cold" "-")
triple6
Gary is not green.
("Gary" "is" "green" "-")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple9
((triple8 triple7) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple10
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is not cold.
("Harry" "is" "cold" "-")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
triple13
Harry is white.
("Harry" "is" "white" "+")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple15
Gary is white.
("Gary" "is" "white" "+")
((triple8) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1