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