Erin is round. If Erin is nice then Erin is smart. Round people are furry. All cold people are nice. Furry, round people are blue. All blue, round people are young. If someone is round and young then they are smart.
Erin is round.
("Erin" "is" "round" "+")
If Erin is nice then Erin is smart.
((("Erin" "is" "nice" "+")) -> ("Erin" "is" "smart" "+"))
Round people are furry.
((("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
All cold people are nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
Furry, round people are blue.
((("someone" "is" "furry" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
All blue, round people are young.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is round and young then they are smart.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
Erin is round.
True
1
proof
[(triple1)]
("Erin" "is" "round" "+")
triple1
Erin is not round.
False
1
inv-proof
[(triple1)]
("Erin" "is" "round" "-")
triple1
Erin is furry.
True
2
proof
[(((triple1) -> rule2))]
("Erin" "is" "furry" "+")
((triple1) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is not furry.
False
2
inv-proof
[(((triple1) -> rule2))]
("Erin" "is" "furry" "-")
((triple1) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
True
4
proof
[(((((triple1) -> rule2) triple1) -> rule4))]
("Erin" "is" "blue" "+")
((((triple1) -> (rule2 % int2)) triple1) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is not blue.
False
4
inv-proof
[(((((triple1) -> rule2) triple1) -> rule4))]
("Erin" "is" "blue" "-")
((((triple1) -> (rule2 % int2)) triple1) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is young.
True
6
proof
[(((((((triple1) -> rule2) triple1) -> rule4) triple1) -> rule5))]
("Erin" "is" "young" "+")
((((((triple1) -> (rule2 % int3)) triple1) -> (rule4 % int2)) triple1) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is not young.
False
6
inv-proof
[(((((((triple1) -> rule2) triple1) -> rule4) triple1) -> rule5))]
("Erin" "is" "young" "-")
((((((triple1) -> (rule2 % int3)) triple1) -> (rule4 % int2)) triple1) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is not nice.
Unknown
inv-rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "nice" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
@0: Erin is round.[(triple1)] @1: Erin is furry.[(((triple1) -> rule2))] @2: Erin is blue.[(((((triple1) -> rule2) triple1) -> rule4))] @3: Erin is young.[(((((((triple1) -> rule2) triple1) -> rule4) triple1) -> rule5))] @4: Erin is smart.[(((triple1 ((((((triple1) -> rule2) triple1) -> rule4) triple1) -> rule5)) -> rule6))]
Erin is round.
("Erin" "is" "round" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
((triple1) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((((triple1) -> (rule2 % int2)) triple1) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
((((((triple1) -> (rule2 % int3)) triple1) -> (rule4 % int2)) triple1) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
((triple1 ((((((triple1) -> (rule2 % int4)) triple1) -> (rule4 % int3)) triple1) -> (rule5 % int2))) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4