Erin is cold. Erin is kind. Harry is big. All furry people are green. All furry, big people are green. All big people are not rough. If someone is big and not rough then they are not blue. All green people are blue. All furry people are cold. If someone is big and not blue then they are not cold. If Harry is furry and Harry is not cold then Harry is kind.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Harry is big.
("Harry" "is" "big" "+")
All furry people are green.
((("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
All furry, big people are green.
((("someone" "is" "furry" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
All big people are not rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "-"))
If someone is big and not rough then they are not blue.
((("someone" "is" "big" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "blue" "-"))
All green people are blue.
((("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
All furry people are cold.
((("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and not blue then they are not cold.
((("someone" "is" "big" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "cold" "-"))
If Harry is furry and Harry is not cold then Harry is kind.
((("Harry" "is" "furry" "+") ("Harry" "is" "cold" "~")) -> ("Harry" "is" "kind" "+"))
Erin is cold.
True
1
proof
[(triple1)]
("Erin" "is" "cold" "+")
triple1
Harry is not big.
False
1
inv-proof
[(triple3)]
("Harry" "is" "big" "-")
triple3
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "green" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Erin is cold.[(triple1)] Erin is kind.[(triple2)] Harry is big.[(triple3)] @1: Harry is not rough.[(((triple3) -> rule3))] @2: Harry is not blue.[(((triple3 ((triple3) -> rule3)) -> rule4))] @3: Harry is not cold.[(((triple3 ((triple3 ((triple3) -> rule3)) -> rule4)) -> rule7))]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Harry is big.
("Harry" "is" "big" "+")
triple3
Harry is not rough.
("Harry" "is" "rough" "-")
((triple3) -> (rule3 % int1))
Harry is not rough.
("Harry" "is" "rough" "-")
int1
Harry is not blue.
("Harry" "is" "blue" "-")
((triple3 ((triple3) -> (rule3 % int2))) -> (rule4 % int1))
Harry is not blue.
("Harry" "is" "blue" "-")
int1
Harry is not rough.
("Harry" "is" "rough" "-")
int2
Harry is not cold.
("Harry" "is" "cold" "-")
((triple3 ((triple3 ((triple3) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is not cold.
("Harry" "is" "cold" "-")
int1
Harry is not blue.
("Harry" "is" "blue" "-")
int2
Harry is not rough.
("Harry" "is" "rough" "-")
int3