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