Bob is furry. Erin is young. Fiona is not smart. Gary is young. If someone is blue then they are smart. If someone is blue and not smart then they are not furry. All cold people are not nice. All furry people are nice. If someone is nice and not smart then they are cold. Young people are cold.
Bob is furry.
("Bob" "is" "furry" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Gary is young.
("Gary" "is" "young" "+")
If someone is blue then they are smart.
((("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
If someone is blue and not smart then they are not furry.
((("someone" "is" "blue" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "furry" "-"))
All cold people are not nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "-"))
All furry people are nice.
((("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and not smart then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "cold" "+"))
Young people are cold.
((("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
Fiona is not smart.
True
1
proof
[(triple3)]
("Fiona" "is" "smart" "-")
triple3
Bob is not furry.
False
1
inv-proof
[(triple1)]
("Bob" "is" "furry" "-")
triple1
Bob is nice.
True
2
proof
[(((triple1) -> rule4))]
("Bob" "is" "nice" "+")
((triple1) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not nice.
False
2
inv-proof
[(((triple1) -> rule4))]
("Bob" "is" "nice" "-")
((triple1) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Gary is not nice.
True
3
proof
[(((((triple4) -> rule6)) -> rule3))]
("Gary" "is" "nice" "-")
((((triple4) -> (rule6 % int2))) -> (rule3 % int1))
Gary is not nice.
("Gary" "is" "nice" "-")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
False
3
inv-proof
[(((((triple4) -> rule6)) -> rule3))]
("Gary" "is" "nice" "+")
((((triple4) -> (rule6 % int2))) -> (rule3 % int1))
Gary is not nice.
("Gary" "is" "nice" "-")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Erin is not smart.
Unknown
inv-rconc
[@1: Erin is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "smart" "-")
Fiona is cold.
Unknown
rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "cold" "+")
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "cold" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Bob is furry.[(triple1)] Erin is young.[(triple2)] Fiona is not smart.[(triple3)] Gary is young.[(triple4)] @1: Bob is nice.[(((triple1) -> rule4))] Erin is cold.[(((triple2) -> rule6))] Gary is cold.[(((triple4) -> rule6))] @2: Erin is not nice.[(((((triple2) -> rule6)) -> rule3))] Gary is not nice.[(((((triple4) -> rule6)) -> rule3))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Erin is young.
("Erin" "is" "young" "+")
triple2
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple3
Gary is young.
("Gary" "is" "young" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
((triple1) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((triple2) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple4) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Erin is not nice.
("Erin" "is" "nice" "-")
((((triple2) -> (rule6 % int2))) -> (rule3 % int1))
Erin is not nice.
("Erin" "is" "nice" "-")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Gary is not nice.
("Gary" "is" "nice" "-")
((((triple4) -> (rule6 % int2))) -> (rule3 % int1))
Gary is not nice.
("Gary" "is" "nice" "-")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2