Dave is big. Dave is green. Dave is kind. Dave is red. Dave is rough. Dave is not white. Fiona is big. Fiona is kind. Fiona is rough. Fiona is smart. All rough people are red. If someone is red and not kind then they are rough. All kind, big people are not white.
Dave is big.
("Dave" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is not white.
("Dave" "is" "white" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
All rough people are red.
((("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is red and not kind then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "rough" "+"))
All kind, big people are not white.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "white" "-"))
Dave is rough.
True
1
proof
[(triple5)]
("Dave" "is" "rough" "+")
triple5
Dave is not red.
False
1
inv-proof
[(triple4 OR ((triple5) -> rule1))]
("Dave" "is" "red" "-")
triple4
((triple5) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Fiona is not white.
True
3
proof
[(((triple8 triple7) -> rule3))]
("Fiona" "is" "white" "-")
((triple8 triple7) -> (rule3 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is not red.
False
2
inv-proof
[(((triple9) -> rule1))]
("Fiona" "is" "red" "-")
((triple9) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Dave is not smart.
Unknown
inv-random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Dave is big.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3)] Dave is not white.[(triple6 OR ((triple3 triple1) -> rule3))] Dave is red.[(triple4 OR ((triple5) -> rule1))] Dave is rough.[(triple5)] Fiona is big.[(triple7)] Fiona is kind.[(triple8)] Fiona is rough.[(triple9)] Fiona is smart.[(triple10)] @1: Fiona is not white.[(((triple8 triple7) -> rule3))] Fiona is red.[(((triple9) -> rule1))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Dave is not white.
("Dave" "is" "white" "-")
triple6
((triple3 triple1) -> (rule3 % int1))
Dave is not white.
("Dave" "is" "white" "-")
int1
Dave is red.
("Dave" "is" "red" "+")
triple4
((triple5) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
Fiona is not white.
("Fiona" "is" "white" "-")
((triple8 triple7) -> (rule3 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple9) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1