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