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