Bob is big. Bob is not blue. Bob is smart. Bob is young. Erin is rough. Erin is young. Harry is nice. All blue people are red. If someone is nice and young then they are blue. If someone is nice then they are not rough.
Bob is big.
("Bob" "is" "big" "+")
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
All blue people are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and young then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice then they are not rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "-"))
Bob is big.
True
1
proof
[(triple1)]
("Bob" "is" "big" "+")
triple1
Bob is not smart.
False
1
inv-proof
[(triple3)]
("Bob" "is" "smart" "-")
triple3
Harry is not rough.
True
2
proof
[(((triple7) -> rule3))]
("Harry" "is" "rough" "-")
((triple7) -> (rule3 % int1))
Harry is not rough.
("Harry" "is" "rough" "-")
int1
Harry is rough.
False
2
inv-proof
[(((triple7) -> rule3))]
("Harry" "is" "rough" "+")
((triple7) -> (rule3 % int1))
Harry is not rough.
("Harry" "is" "rough" "-")
int1
Harry is not red.
Unknown
inv-rconc
[@2: Harry is red.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Harry" "is" "red" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "red" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Bob is big.[(triple1)] Bob is not blue.[(triple2)] Bob is smart.[(triple3)] Bob is young.[(triple4)] Erin is rough.[(triple5)] Erin is young.[(triple6)] Harry is nice.[(triple7)] @1: Harry is not rough.[(((triple7) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is not blue.
("Bob" "is" "blue" "-")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Erin is young.
("Erin" "is" "young" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Harry is not rough.
("Harry" "is" "rough" "-")
((triple7) -> (rule3 % int1))
Harry is not rough.
("Harry" "is" "rough" "-")
int1