Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is rough. Bob is white. Dave is green. Fiona is cold. Fiona is furry. Fiona is green. Fiona is rough. Fiona is white. Harry is cold. Harry is green. Harry is kind. Harry is smart. All rough people are furry. Smart, green people are rough. If Bob is rough then Bob is kind.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is white.
("Bob" "is" "white" "+")
Dave is green.
("Dave" "is" "green" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All rough people are furry.
((("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
Smart, green people are rough.
((("someone" "is" "smart" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If Bob is rough then Bob is kind.
((("Bob" "is" "rough" "+")) -> ("Bob" "is" "kind" "+"))
Fiona is furry.
True
1
proof
[(triple9 OR ((triple11) -> rule1))]
("Fiona" "is" "furry" "+")
triple9
((triple11) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Bob is not furry.
False
1
inv-proof
[(triple2 OR ((triple5) -> rule1))]
("Bob" "is" "furry" "-")
triple2
((triple5) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Harry is rough.
True
3
proof
[(((triple16 triple14) -> rule2))]
("Harry" "is" "rough" "+")
((triple16 triple14) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not rough.
False
3
inv-proof
[(((triple16 triple14) -> rule2))]
("Harry" "is" "rough" "-")
((triple16 triple14) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "rough" "-")
Dave is furry.
Unknown
rconc
[@2: Dave is furry.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Dave" "is" "furry" "+")
Dave is not smart.
Unknown
inv-random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((triple5) -> rule1))] Bob is green.[(triple3)] Bob is kind.[(triple4 OR ((triple5) -> rule3))] Bob is rough.[(triple5)] Bob is white.[(triple6)] Dave is green.[(triple7)] Fiona is cold.[(triple8)] Fiona is furry.[(triple9 OR ((triple11) -> rule1))] Fiona is green.[(triple10)] Fiona is rough.[(triple11)] Fiona is white.[(triple12)] Harry is cold.[(triple13)] Harry is green.[(triple14)] Harry is kind.[(triple15)] Harry is smart.[(triple16)] @1: Harry is rough.[(((triple16 triple14) -> rule2))] @2: Harry is furry.[(((((triple16 triple14) -> rule2)) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
((triple5) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple4
((triple5) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Bob is white.
("Bob" "is" "white" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
((triple11) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple10
Fiona is rough.
("Fiona" "is" "rough" "+")
triple11
Fiona is white.
("Fiona" "is" "white" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple13
Harry is green.
("Harry" "is" "green" "+")
triple14
Harry is kind.
("Harry" "is" "kind" "+")
triple15
Harry is smart.
("Harry" "is" "smart" "+")
triple16
Harry is rough.
("Harry" "is" "rough" "+")
((triple16 triple14) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((((triple16 triple14) -> (rule2 % int2))) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2