Charlie is young. Erin is rough. Fiona is smart. Gary is young. If Erin is rough then Erin is cold. Furry, rough people are nice. If someone is cold then they are furry.
Charlie is young.
("Charlie" "is" "young" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
If Erin is rough then Erin is cold.
((("Erin" "is" "rough" "+")) -> ("Erin" "is" "cold" "+"))
Furry, rough people are nice.
((("someone" "is" "furry" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold then they are furry.
((("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
Fiona is smart.
True
1
proof
[(triple3)]
("Fiona" "is" "smart" "+")
triple3
Gary is not young.
False
1
inv-proof
[(triple4)]
("Gary" "is" "young" "-")
triple4
Erin is cold.
True
2
proof
[(((triple2) -> rule1))]
("Erin" "is" "cold" "+")
((triple2) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not cold.
False
2
inv-proof
[(((triple2) -> rule1))]
("Erin" "is" "cold" "-")
((triple2) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
True
3
proof
[(((((triple2) -> rule1)) -> rule3))]
("Erin" "is" "furry" "+")
((((triple2) -> (rule1 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is not furry.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule3))]
("Erin" "is" "furry" "-")
((((triple2) -> (rule1 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is nice.
True
5
proof
[(((((((triple2) -> rule1)) -> rule3) triple2) -> rule2))]
("Erin" "is" "nice" "+")
((((((triple2) -> (rule1 % int3))) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is not nice.
False
5
inv-proof
[(((((((triple2) -> rule1)) -> rule3) triple2) -> rule2))]
("Erin" "is" "nice" "-")
((((((triple2) -> (rule1 % int3))) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Fiona is not furry.
Unknown
inv-rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "furry" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "nice" "+")
Charlie is not furry.
Unknown
inv-rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "furry" "-")
Gary is furry.
Unknown
rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "furry" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Charlie is young.[(triple1)] Erin is rough.[(triple2)] Fiona is smart.[(triple3)] Gary is young.[(triple4)] @1: Erin is cold.[(((triple2) -> rule1))] @2: Erin is furry.[(((((triple2) -> rule1)) -> rule3))] @3: Erin is nice.[(((((((triple2) -> rule1)) -> rule3) triple2) -> rule2))]
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Erin is rough.
("Erin" "is" "rough" "+")
triple2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple3
Gary is young.
("Gary" "is" "young" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
((triple2) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((((triple2) -> (rule1 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
((((((triple2) -> (rule1 % int3))) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3