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