Charlie is smart. Erin is quiet. Fiona is young. Gary is big. All red, young things are smart. Nice, young things are red. If something is young then it is nice.
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
All red, young things are smart.
((("something" "is" "red" "+") ("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
Nice, young things are red.
((("something" "is" "nice" "+") ("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
If something is young then it is nice.
((("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
Gary is big.
True
1
proof
[(triple4)]
("Gary" "is" "big" "+")
triple4
Fiona is not young.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "young" "-")
triple3
Fiona is nice.
True
2
proof
[(((triple3) -> rule3))]
("Fiona" "is" "nice" "+")
((triple3) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not nice.
False
2
inv-proof
[(((triple3) -> rule3))]
("Fiona" "is" "nice" "-")
((triple3) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
True
4
proof
[(((((triple3) -> rule3) triple3) -> rule2))]
("Fiona" "is" "red" "+")
((((triple3) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is not red.
False
4
inv-proof
[(((((triple3) -> rule3) triple3) -> rule2))]
("Fiona" "is" "red" "-")
((((triple3) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is smart.
True
6
proof
[(((((((triple3) -> rule3) triple3) -> rule2) triple3) -> rule1))]
("Fiona" "is" "smart" "+")
((((((triple3) -> (rule3 % int3)) triple3) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is not smart.
False
6
inv-proof
[(((((((triple3) -> rule3) triple3) -> rule2) triple3) -> rule1))]
("Fiona" "is" "smart" "-")
((((((triple3) -> (rule3 % int3)) triple3) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Gary is not smart.
Unknown
inv-rconc
[@1: Gary is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "smart" "-")
Gary is red.
Unknown
rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "red" "+")
Erin is not nice.
Unknown
inv-rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "nice" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "nice" "+")
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
Charlie is not furry.
Unknown
inv-random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
@0: Charlie is smart.[(triple1)] Erin is quiet.[(triple2)] Fiona is young.[(triple3)] Gary is big.[(triple4)] @1: Fiona is nice.[(((triple3) -> rule3))] @2: Fiona is red.[(((((triple3) -> rule3) triple3) -> rule2))] @3: Fiona is smart.[(((((((triple3) -> rule3) triple3) -> rule2) triple3) -> rule1))]
Charlie is smart.
("Charlie" "is" "smart" "+")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2
Fiona is young.
("Fiona" "is" "young" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple4
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple3) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((((triple3) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
((((((triple3) -> (rule3 % int3)) triple3) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3