Bob is white. Fiona is kind. Fiona is nice. Fiona is rough. Gary is rough. Harry is not big. Harry is young. Young, furry people are white. All young people are white. If someone is big and not young then they are not white. Kind people are big. If someone is young then they are rough. If someone is furry then they are nice. If someone is young then they are nice. If someone is white and big then they are furry.
Bob is white.
("Bob" "is" "white" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is not big.
("Harry" "is" "big" "-")
Harry is young.
("Harry" "is" "young" "+")
Young, furry people are white.
((("someone" "is" "young" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
All young people are white.
((("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
If someone is big and not young then they are not white.
((("someone" "is" "big" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "white" "-"))
Kind people are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is furry then they are nice.
((("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
If someone is young then they are nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is white and big then they are furry.
((("someone" "is" "white" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
Gary is rough.
True
1
proof
[(triple5)]
("Gary" "is" "rough" "+")
triple5
Harry is not young.
False
1
inv-proof
[(triple7)]
("Harry" "is" "young" "-")
triple7
Harry is rough.
True
2
proof
[(((triple7) -> rule5))]
("Harry" "is" "rough" "+")
((triple7) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Fiona is not big.
False
2
inv-proof
[(((triple2) -> rule4))]
("Fiona" "is" "big" "-")
((triple2) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "white" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "big" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Bob is white.[(triple1)] Fiona is kind.[(triple2)] Fiona is nice.[(triple3)] Fiona is rough.[(triple4)] Gary is rough.[(triple5)] Harry is not big.[(triple6)] Harry is young.[(triple7)] @1: Fiona is big.[(((triple2) -> rule4))] Harry is nice.[(((triple7) -> rule7))] Harry is rough.[(((triple7) -> rule5))] Harry is white.[(((triple7) -> rule2))]
Bob is white.
("Bob" "is" "white" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Fiona is rough.
("Fiona" "is" "rough" "+")
triple4
Gary is rough.
("Gary" "is" "rough" "+")
triple5
Harry is not big.
("Harry" "is" "big" "-")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
((triple2) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple7) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple7) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple7) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1