Fiona is young. Gary is blue. If someone is rough and blue then they are not young. All green people are not young. If someone is kind and not blue then they are not young. If someone is blue then they are young. All rough people are not green. All young people are kind. If someone is kind then they are nice. All blue people are not cold.
Fiona is young.
("Fiona" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is rough and blue then they are not young.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "-"))
All green people are not young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "-"))
If someone is kind and not blue then they are not young.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "young" "-"))
If someone is blue then they are young.
((("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
All rough people are not green.
((("someone" "is" "rough" "+")) -> ("someone" "is" "green" "-"))
All young people are kind.
((("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind then they are nice.
((("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
All blue people are not cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "-"))
Gary is blue.
True
1
proof
[(triple2)]
("Gary" "is" "blue" "+")
triple2
Gary is not blue.
False
1
inv-proof
[(triple2)]
("Gary" "is" "blue" "-")
triple2
Gary is young.
True
2
proof
[(((triple2) -> rule4))]
("Gary" "is" "young" "+")
((triple2) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Fiona is not kind.
False
2
inv-proof
[(((triple1) -> rule6))]
("Fiona" "is" "kind" "-")
((triple1) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
True
3
proof
[(((((triple1) -> rule6)) -> rule7))]
("Fiona" "is" "nice" "+")
((((triple1) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Gary is not kind.
False
3
inv-proof
[(((((triple2) -> rule4)) -> rule6))]
("Gary" "is" "kind" "-")
((((triple2) -> (rule4 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
True
4
proof
[(((((((triple2) -> rule4)) -> rule6)) -> rule7))]
("Gary" "is" "nice" "+")
((((((triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is not nice.
False
4
inv-proof
[(((((((triple2) -> rule4)) -> rule6)) -> rule7))]
("Gary" "is" "nice" "-")
((((((triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Fiona is young.[(triple1)] Gary is blue.[(triple2)] @1: Fiona is kind.[(((triple1) -> rule6))] Gary is not cold.[(((triple2) -> rule8))] Gary is young.[(((triple2) -> rule4))] @2: Fiona is nice.[(((((triple1) -> rule6)) -> rule7))] Gary is kind.[(((((triple2) -> rule4)) -> rule6))] @3: Gary is nice.[(((((((triple2) -> rule4)) -> rule6)) -> rule7))]
Fiona is young.
("Fiona" "is" "young" "+")
triple1
Gary is blue.
("Gary" "is" "blue" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple1) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Gary is not cold.
("Gary" "is" "cold" "-")
((triple2) -> (rule8 % int1))
Gary is not cold.
("Gary" "is" "cold" "-")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple2) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple1) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((((triple2) -> (rule4 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((((((triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3