Anne is nice. Anne is rough. Anne is round. Anne is young. Dave is rough. Dave is young. Gary is cold. Gary is nice. Gary is rough. Gary is round. Gary is young. Harry is blue. Harry is green. Harry is round. Harry is young. If something is young then it is green. If something is rough then it is round.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is young.
("Dave" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is young then it is green.
((("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
If something is rough then it is round.
((("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
Dave is young.
True
1
proof
[(triple6)]
("Dave" "is" "young" "+")
triple6
Anne is not rough.
False
1
inv-proof
[(triple2)]
("Anne" "is" "rough" "-")
triple2
Dave is round.
True
2
proof
[(((triple5) -> rule2))]
("Dave" "is" "round" "+")
((triple5) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is not green.
False
2
inv-proof
[(((triple6) -> rule1))]
("Dave" "is" "green" "-")
((triple6) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is nice.[(triple1)] Anne is rough.[(triple2)] Anne is round.[(triple3 OR ((triple2) -> rule2))] Anne is young.[(triple4)] Dave is rough.[(triple5)] Dave is young.[(triple6)] Gary is cold.[(triple7)] Gary is nice.[(triple8)] Gary is rough.[(triple9)] Gary is round.[(triple10 OR ((triple9) -> rule2))] Gary is young.[(triple11)] Harry is blue.[(triple12)] Harry is green.[(triple13 OR ((triple15) -> rule1))] Harry is round.[(triple14)] Harry is young.[(triple15)] @1: Anne is green.[(((triple4) -> rule1))] Dave is green.[(((triple6) -> rule1))] Dave is round.[(((triple5) -> rule2))] Gary is green.[(((triple11) -> rule1))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
((triple2) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple10
((triple9) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is green.
("Harry" "is" "green" "+")
triple13
((triple15) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple15
Anne is green.
("Anne" "is" "green" "+")
((triple4) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple6) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple5) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple11) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1