Erin is furry. Erin is not nice. Erin is round. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is not rough. Fiona is round. Fiona is white. Harry is blue. Harry is furry. Harry is nice. Harry is not red. Harry is rough. Harry is round. Harry is white. Rough, red people are white. If someone is nice and rough then they are furry.
Erin is furry.
("Erin" "is" "furry" "+")
Erin is not nice.
("Erin" "is" "nice" "-")
Erin is round.
("Erin" "is" "round" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is not red.
("Harry" "is" "red" "-")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
Rough, red people are white.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
If someone is nice and rough then they are furry.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
Fiona is blue.
True
1
proof
[(triple4)]
("Fiona" "is" "blue" "+")
triple4
Erin is nice.
False
1
inv-proof
[(triple2)]
("Erin" "is" "nice" "+")
triple2
Erin is not white.
Unknown
inv-rconc
[@1: Erin is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "white" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Erin is furry.[(triple1)] Erin is not nice.[(triple2)] Erin is round.[(triple3)] Fiona is blue.[(triple4)] Fiona is furry.[(triple5)] Fiona is nice.[(triple6)] Fiona is not rough.[(triple7)] Fiona is round.[(triple8)] Fiona is white.[(triple9)] Harry is blue.[(triple10)] Harry is furry.[(triple11 OR ((triple12 triple14) -> rule2))] Harry is nice.[(triple12)] Harry is not red.[(triple13)] Harry is rough.[(triple14)] Harry is round.[(triple15)] Harry is white.[(triple16)]
Erin is furry.
("Erin" "is" "furry" "+")
triple1
Erin is not nice.
("Erin" "is" "nice" "-")
triple2
Erin is round.
("Erin" "is" "round" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple7
Fiona is round.
("Fiona" "is" "round" "+")
triple8
Fiona is white.
("Fiona" "is" "white" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is furry.
("Harry" "is" "furry" "+")
triple11
((triple12 triple14) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
triple12
Harry is not red.
("Harry" "is" "red" "-")
triple13
Harry is rough.
("Harry" "is" "rough" "+")
triple14
Harry is round.
("Harry" "is" "round" "+")
triple15
Harry is white.
("Harry" "is" "white" "+")
triple16