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