Erin is blue. Erin is furry. Erin is round. Fiona is blue. Fiona is nice. Fiona is smart. Gary is cold. All smart, round people are nice. Round people are smart.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is cold.
("Gary" "is" "cold" "+")
All smart, round people are nice.
((("someone" "is" "smart" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Round people are smart.
((("someone" "is" "round" "+")) -> ("someone" "is" "smart" "+"))
Erin is round.
True
1
proof
[(triple3)]
("Erin" "is" "round" "+")
triple3
Erin is not round.
False
1
inv-proof
[(triple3)]
("Erin" "is" "round" "-")
triple3
Erin is smart.
True
2
proof
[(((triple3) -> rule2))]
("Erin" "is" "smart" "+")
((triple3) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is not smart.
False
2
inv-proof
[(((triple3) -> rule2))]
("Erin" "is" "smart" "-")
((triple3) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is nice.
True
4
proof
[(((((triple3) -> rule2) triple3) -> rule1))]
("Erin" "is" "nice" "+")
((((triple3) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is not nice.
False
4
inv-proof
[(((((triple3) -> rule2) triple3) -> rule1))]
("Erin" "is" "nice" "-")
((((triple3) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "nice" "-")
Gary is smart.
Unknown
rconc
[@1: Gary is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "smart" "+")
Erin is not cold.
Unknown
inv-random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Erin is blue.[(triple1)] Erin is furry.[(triple2)] Erin is round.[(triple3)] Fiona is blue.[(triple4)] Fiona is nice.[(triple5)] Fiona is smart.[(triple6)] Gary is cold.[(triple7)] @1: Erin is smart.[(((triple3) -> rule2))] @2: Erin is nice.[(((((triple3) -> rule2) triple3) -> rule1))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is round.
("Erin" "is" "round" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Erin is smart.
("Erin" "is" "smart" "+")
((triple3) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
((((triple3) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2