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