Bob is not rough. Erin is nice. Fiona is nice. If something is nice then it is not smart. If something is cold then it is kind. If something is nice and not smart then it is cold.
Bob is not rough.
("Bob" "is" "rough" "-")
Erin is nice.
("Erin" "is" "nice" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
If something is nice then it is not smart.
((("something" "is" "nice" "+")) -> ("something" "is" "smart" "-"))
If something is cold then it is kind.
((("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
If something is nice and not smart then it is cold.
((("something" "is" "nice" "+") ("something" "is" "smart" "~")) -> ("something" "is" "cold" "+"))
Erin is nice.
True
1
proof
[(triple2)]
("Erin" "is" "nice" "+")
triple2
Erin is not nice.
False
1
inv-proof
[(triple2)]
("Erin" "is" "nice" "-")
triple2
Fiona is not smart.
True
2
proof
[(((triple3) -> rule1))]
("Fiona" "is" "smart" "-")
((triple3) -> (rule1 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
Erin is smart.
False
2
inv-proof
[(((triple2) -> rule1))]
("Erin" "is" "smart" "+")
((triple2) -> (rule1 % int1))
Erin is not smart.
("Erin" "is" "smart" "-")
int1
Erin is cold.
True
4
proof
[(((triple2 ((triple2) -> rule1)) -> rule3))]
("Erin" "is" "cold" "+")
((triple2 ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not smart.
("Erin" "is" "smart" "-")
int2
Fiona is not cold.
False
4
inv-proof
[(((triple3 ((triple3) -> rule1)) -> rule3))]
("Fiona" "is" "cold" "-")
((triple3 ((triple3) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not smart.
("Fiona" "is" "smart" "-")
int2
Erin is kind.
True
5
proof
[(((((triple2 ((triple2) -> rule1)) -> rule3)) -> rule2))]
("Erin" "is" "kind" "+")
((((triple2 ((triple2) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is not smart.
("Erin" "is" "smart" "-")
int3
Fiona is not kind.
False
5
inv-proof
[(((((triple3 ((triple3) -> rule1)) -> rule3)) -> rule2))]
("Fiona" "is" "kind" "-")
((((triple3 ((triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is not smart.
("Fiona" "is" "smart" "-")
int3
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "cold" "-")
Bob is kind.
Unknown
rconc
[@2: Bob is kind.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Bob" "is" "kind" "+")
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Bob is smart.
Unknown
random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "+")
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
Erin is not rough.
Unknown
inv-random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Bob is not rough.[(triple1)] Erin is nice.[(triple2)] Fiona is nice.[(triple3)] @1: Erin is not smart.[(((triple2) -> rule1))] Fiona is not smart.[(((triple3) -> rule1))] @2: Erin is cold.[(((triple2 ((triple2) -> rule1)) -> rule3))] Fiona is cold.[(((triple3 ((triple3) -> rule1)) -> rule3))] @3: Erin is kind.[(((((triple2 ((triple2) -> rule1)) -> rule3)) -> rule2))] Fiona is kind.[(((((triple3 ((triple3) -> rule1)) -> rule3)) -> rule2))]
Bob is not rough.
("Bob" "is" "rough" "-")
triple1
Erin is nice.
("Erin" "is" "nice" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Erin is not smart.
("Erin" "is" "smart" "-")
((triple2) -> (rule1 % int1))
Erin is not smart.
("Erin" "is" "smart" "-")
int1
Fiona is not smart.
("Fiona" "is" "smart" "-")
((triple3) -> (rule1 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((triple2 ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not smart.
("Erin" "is" "smart" "-")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple3 ((triple3) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not smart.
("Fiona" "is" "smart" "-")
int2
Erin is kind.
("Erin" "is" "kind" "+")
((((triple2 ((triple2) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is not smart.
("Erin" "is" "smart" "-")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple3 ((triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is not smart.
("Fiona" "is" "smart" "-")
int3