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