Bob is rough. Erin is rough. Harry is young. All nice things are smart. Rough things are smart. All young things are white. Smart, young things are not furry. If something is nice and not young then it is furry. If something is smart and cold then it is not rough. All furry, smart things are nice. If Harry is white and Harry is not cold then Harry is rough.
Bob is rough.
("Bob" "is" "rough" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
All nice things are smart.
((("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
Rough things are smart.
((("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
All young things are white.
((("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
Smart, young things are not furry.
((("something" "is" "smart" "+") ("something" "is" "young" "+")) -> ("something" "is" "furry" "-"))
If something is nice and not young then it is furry.
((("something" "is" "nice" "+") ("something" "is" "young" "~")) -> ("something" "is" "furry" "+"))
If something is smart and cold then it is not rough.
((("something" "is" "smart" "+") ("something" "is" "cold" "+")) -> ("something" "is" "rough" "-"))
All furry, smart things are nice.
((("something" "is" "furry" "+") ("something" "is" "smart" "+")) -> ("something" "is" "nice" "+"))
If Harry is white and Harry is not cold then Harry is rough.
((("Harry" "is" "white" "+") ("Harry" "is" "cold" "~")) -> ("Harry" "is" "rough" "+"))
Harry is young.
True
1
proof
[(triple3)]
("Harry" "is" "young" "+")
triple3
Erin is not rough.
False
1
inv-proof
[(triple2)]
("Erin" "is" "rough" "-")
triple2
Harry is not nice.
Unknown
inv-rconc
[@2: Harry is nice.[CWA. Example of deepest failure = (rule7 <- rule5 <- FAIL)]]
("Harry" "is" "nice" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
@0: Bob is rough.[(triple1)] Erin is rough.[(triple2)] Harry is young.[(triple3)] @1: Bob is smart.[(((triple1) -> rule2))] Erin is smart.[(((triple2) -> rule2))] Harry is white.[(((triple3) -> rule3))]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Erin is rough.
("Erin" "is" "rough" "+")
triple2
Harry is young.
("Harry" "is" "young" "+")
triple3
Bob is smart.
("Bob" "is" "smart" "+")
((triple1) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((triple2) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple3) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1