Dave is nice. Dave is red. Dave is not rough. Dave is young. Fiona is rough. Fiona is young. Gary is not cold. Gary is white. Harry is not red. Harry is young. Young things are green. If Gary is white then Gary is young.
Dave is nice.
("Dave" "is" "nice" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is not rough.
("Dave" "is" "rough" "-")
Dave is young.
("Dave" "is" "young" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is white.
("Gary" "is" "white" "+")
Harry is not red.
("Harry" "is" "red" "-")
Harry is young.
("Harry" "is" "young" "+")
Young things are green.
((("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
If Gary is white then Gary is young.
((("Gary" "is" "white" "+")) -> ("Gary" "is" "young" "+"))
Dave is young.
True
1
proof
[(triple4)]
("Dave" "is" "young" "+")
triple4
Gary is not white.
False
1
inv-proof
[(triple8)]
("Gary" "is" "white" "-")
triple8
Gary is young.
True
2
proof
[(((triple8) -> rule2))]
("Gary" "is" "young" "+")
((triple8) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Harry is not green.
False
2
inv-proof
[(((triple10) -> rule1))]
("Harry" "is" "green" "-")
((triple10) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Gary is green.
True
3
proof
[(((((triple8) -> rule2)) -> rule1))]
("Gary" "is" "green" "+")
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is not green.
False
3
inv-proof
[(((((triple8) -> rule2)) -> rule1))]
("Gary" "is" "green" "-")
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Dave is nice.[(triple1)] Dave is not rough.[(triple3)] Dave is red.[(triple2)] Dave is young.[(triple4)] Fiona is rough.[(triple5)] Fiona is young.[(triple6)] Gary is not cold.[(triple7)] Gary is white.[(triple8)] Harry is not red.[(triple9)] Harry is young.[(triple10)] @1: Dave is green.[(((triple4) -> rule1))] Fiona is green.[(((triple6) -> rule1))] Gary is young.[(((triple8) -> rule2))] Harry is green.[(((triple10) -> rule1))] @2: Gary is green.[(((((triple8) -> rule2)) -> rule1))]
Dave is nice.
("Dave" "is" "nice" "+")
triple1
Dave is not rough.
("Dave" "is" "rough" "-")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
Fiona is young.
("Fiona" "is" "young" "+")
triple6
Gary is not cold.
("Gary" "is" "cold" "-")
triple7
Gary is white.
("Gary" "is" "white" "+")
triple8
Harry is not red.
("Harry" "is" "red" "-")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Dave is green.
("Dave" "is" "green" "+")
((triple4) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple6) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple8) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple10) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2