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