Bob is green. Bob is rough. Dave is furry. Dave is green. Dave is nice. Dave is quiet. Erin is furry. Erin is nice. Erin is smart. Harry is cold. Harry is green. Harry is smart. All green, rough people are furry. If someone is rough then they are smart. Rough, nice people are cold. Rough people are furry. Cold people are nice. If someone is rough then they are green. All cold, rough people are quiet. Smart, furry people are green.
Bob is green.
("Bob" "is" "green" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All green, rough people are furry.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
If someone is rough then they are smart.
((("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
Rough, nice people are cold.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Rough people are furry.
((("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
Cold people are nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough then they are green.
((("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
All cold, rough people are quiet.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "+"))
Smart, furry people are green.
((("someone" "is" "smart" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
Harry is smart.
True
1
proof
[(triple12)]
("Harry" "is" "smart" "+")
triple12
Erin is not nice.
False
1
inv-proof
[(triple8)]
("Erin" "is" "nice" "-")
triple8
Erin is green.
True
3
proof
[(((triple9 triple7) -> rule8))]
("Erin" "is" "green" "+")
((triple9 triple7) -> (rule8 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Harry is not nice.
False
2
inv-proof
[(((triple10) -> rule5))]
("Harry" "is" "nice" "-")
((triple10) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not furry.
Unknown
inv-rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "furry" "-")
Bob is nice.
Unknown
rconc
[@2: Bob is nice.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Bob" "is" "nice" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Bob is green.[(triple1 OR ((triple2) -> rule6) OR ((((triple2) -> rule2) ((triple2) -> rule4)) -> rule8))] Bob is rough.[(triple2)] Dave is furry.[(triple3)] Dave is green.[(triple4)] Dave is nice.[(triple5)] Dave is quiet.[(triple6)] Erin is furry.[(triple7)] Erin is nice.[(triple8)] Erin is smart.[(triple9)] Harry is cold.[(triple10)] Harry is green.[(triple11)] Harry is smart.[(triple12)] @1: Bob is furry.[(((triple2) -> rule4) OR ((triple1 triple2) -> rule1) OR ((((triple2) -> rule6) triple2) -> rule1))] Bob is smart.[(((triple2) -> rule2))] Erin is green.[(((triple9 triple7) -> rule8))] Harry is nice.[(((triple10) -> rule5))]
Bob is green.
("Bob" "is" "green" "+")
triple1
((triple2) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((triple2) -> (rule2 % int3)) ((triple2) -> (rule4 % int2))) -> (rule8 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple3
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Dave is quiet.
("Dave" "is" "quiet" "+")
triple6
Erin is furry.
("Erin" "is" "furry" "+")
triple7
Erin is nice.
("Erin" "is" "nice" "+")
triple8
Erin is smart.
("Erin" "is" "smart" "+")
triple9
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is smart.
("Harry" "is" "smart" "+")
triple12
Bob is furry.
("Bob" "is" "furry" "+")
((triple2) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple1 triple2) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((triple2) -> (rule6 % int2)) triple2) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
((triple2) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((triple9 triple7) -> (rule8 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple10) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1