Bob is young. Erin is big. Erin is rough. Erin is not young. Harry is big. Harry is not red. Harry is young. All nice, furry people are cold. If Harry is big then Harry is cold. All cold people are nice.
Bob is young.
("Bob" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is not young.
("Erin" "is" "young" "-")
Harry is big.
("Harry" "is" "big" "+")
Harry is not red.
("Harry" "is" "red" "-")
Harry is young.
("Harry" "is" "young" "+")
All nice, furry people are cold.
((("someone" "is" "nice" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
If Harry is big then Harry is cold.
((("Harry" "is" "big" "+")) -> ("Harry" "is" "cold" "+"))
All cold people are nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
Erin is not young.
True
1
proof
[(triple4)]
("Erin" "is" "young" "-")
triple4
Bob is not young.
False
1
inv-proof
[(triple1)]
("Bob" "is" "young" "-")
triple1
Harry is cold.
True
2
proof
[(((triple5) -> rule2))]
("Harry" "is" "cold" "+")
((triple5) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not cold.
False
2
inv-proof
[(((triple5) -> rule2))]
("Harry" "is" "cold" "-")
((triple5) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
True
3
proof
[(((((triple5) -> rule2)) -> rule3))]
("Harry" "is" "nice" "+")
((((triple5) -> (rule2 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is not nice.
False
3
inv-proof
[(((((triple5) -> rule2)) -> rule3))]
("Harry" "is" "nice" "-")
((((triple5) -> (rule2 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "cold" "-")
Erin is cold.
Unknown
rconc
[@1: Erin is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "cold" "+")
Erin is not nice.
Unknown
inv-rconc
[@2: Erin is nice.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Erin" "is" "nice" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Bob is young.[(triple1)] Erin is big.[(triple2)] Erin is not young.[(triple4)] Erin is rough.[(triple3)] Harry is big.[(triple5)] Harry is not red.[(triple6)] Harry is young.[(triple7)] @1: Harry is cold.[(((triple5) -> rule2))] @2: Harry is nice.[(((((triple5) -> rule2)) -> rule3))]
Bob is young.
("Bob" "is" "young" "+")
triple1
Erin is big.
("Erin" "is" "big" "+")
triple2
Erin is not young.
("Erin" "is" "young" "-")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
triple5
Harry is not red.
("Harry" "is" "red" "-")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
((triple5) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((((triple5) -> (rule2 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2