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