Erin is nice. Fiona is kind. Gary is young. If someone is smart and young then they are nice. Young people are red. All young people are smart.
Erin is nice.
("Erin" "is" "nice" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is smart and young then they are nice.
((("someone" "is" "smart" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
Young people are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
All young people are smart.
((("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
Erin is nice.
True
1
proof
[(triple1)]
("Erin" "is" "nice" "+")
triple1
Fiona is not kind.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "kind" "-")
triple2
Gary is red.
True
2
proof
[(((triple3) -> rule2))]
("Gary" "is" "red" "+")
((triple3) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is not red.
False
2
inv-proof
[(((triple3) -> rule2))]
("Gary" "is" "red" "-")
((triple3) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is nice.
True
4
proof
[(((((triple3) -> rule3) triple3) -> rule1))]
("Gary" "is" "nice" "+")
((((triple3) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is not nice.
False
4
inv-proof
[(((((triple3) -> rule3) triple3) -> rule1))]
("Gary" "is" "nice" "-")
((((triple3) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Fiona is not smart.
Unknown
inv-rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "smart" "-")
Erin is red.
Unknown
rconc
[@1: Erin is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "red" "+")
Fiona is not red.
Unknown
inv-rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "red" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Erin is nice.[(triple1)] Fiona is kind.[(triple2)] Gary is young.[(triple3)] @1: Gary is red.[(((triple3) -> rule2))] Gary is smart.[(((triple3) -> rule3))] @2: Gary is nice.[(((((triple3) -> rule3) triple3) -> rule1))]
Erin is nice.
("Erin" "is" "nice" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Gary is young.
("Gary" "is" "young" "+")
triple3
Gary is red.
("Gary" "is" "red" "+")
((triple3) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple3) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((((triple3) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2